missionary

2020-12-28T13:15:45.071900Z

bikeshedding time https://github.com/leonoel/missionary/issues/29

2020-12-28T15:34:25.072400Z

Can the three process macros be unified? sp, ap, cp

2020-12-28T16:45:04.073500Z

the object they return have different semantics, respectively task, discrete flow and continuous flow

2020-12-28T16:45:48.073800Z

how would that be useful ?

2020-12-28T17:32:04.076900Z

for example (ap (?! (f (?! >a)))) seems it could well defined for discrete flow and continuous flow, dispatching polymorphically on the type of >a idea: if ?! is considered the preferred default primitive for most applications (this may be wrong), then ?! could be ? and then (p (? (f (? >a)))) is defined for all three types

2020-12-28T19:37:37.077900Z

I think this question boils down to how useful the monad abstraction is in dynamic languages, and the answer isn't obvious to me

2020-12-28T19:39:23.078600Z

I'm not sure if the return type can always be inferred from the body in the general case

2020-12-28T19:40:47.079100Z

anyways if you find an outstanding use case, feel free to file an issue