On 18/12/2018 18:02, Henrik Nilsson wrote:
Moreover, while there is little risk of confusion when arrow
syntax is used, looking just at names, the fact is that the use of the
distinct "returnA" also sends a similar signal to the reader, and
consequently there is a certain consistency in distinct names being
used for the three different computational notions for which
(variations of) do-notation is provided.
I'm reminded that once upon a time I suggested what we now call
ApplicativeDo start off with its own keyword for specifically
Applicative code and that what it now tries to do might be possible! The
lexical bikeshedding doesn't strike me as fun though.
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
