It seems the applicative do is almost identical to the form ML and
Scheme has had since the beginning. Perhaps that semantic similarity
might inform the syntactic debate.
do a - f
g
b - h
pure $ foo a b
into this:
(\a b - pure $ foo a b) * (f * g * h)
This form, although very
Excerpts from oleg's message of Sat Oct 10 11:36:44 +0200 2009:
It seems the applicative do is almost identical to the form ML and
Scheme has had since the beginning. Perhaps that semantic similarity
might inform the syntactic debate.
do a - f
g
b - h
pure $ foo a b