20 Dec
2018
20 Dec
'18
4:25 a.m.
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.