bikeshedding time https://github.com/leonoel/missionary/issues/29
Can the three process macros be unified? sp, ap, cp
the object they return have different semantics, respectively task, discrete flow and continuous flow
how would that be useful ?
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
I think this question boils down to how useful the monad abstraction is in dynamic languages, and the answer isn't obvious to me
I'm not sure if the return type can always be inferred from the body in the general case
anyways if you find an outstanding use case, feel free to file an issue