
26 Nov
2007
26 Nov
'07
11:15 p.m.
I wonder whether it is a typical mistake of beginners to write 'return' within a do-block (that is, not at the end) and if it is possible to avoid this mistake by clever typing. In a proper monad 'return' can be fused with subsequent actions, and thus it is not necessary within a sequence of actions. However, although sensible, 'return' is also not required at the end of a block. Has someone already thought about a replacement for monads? I also made that mistake in the beginning, I used return instead of lets. I don't think it's a big problem, most users will find out once
On 26 nov 2007, at 19:48, Henning Thielemann wrote: they've got some more experience, and it doesn't really do any harm. -chris