On Sunday, 12 June 2016 at 15:33:31 UTC, Timon Gehr wrote:
I don't see the point of this criticism. Different language makes sense to different people.
I think he had a point, but his explanation was harder to follow than this one:
http://research.microsoft.com/en-us/um/people/simonpj/papers/marktoberdorf/mark.pdfInput world, output modified world... Geez, why doesn't tutorials on Monads say that before they try to explain it with code?
