Re:Haskell: The Confusing Parts
by barrkel on Monday October 05, 2009 @11:39AM
(#861983)
I understand monads just fine. I would like to see a readable explanation of the exact syntactic transformation of the 'do' notation to the actual function that the monad is to logically return the wrapped application of.
[ Parent
| on HN ]
Re:Haskell: The Confusing Parts
by maxtilford on Monday October 05, 2009 @12:14PM
(#862055)
If I'm reading that right, you want to see how do-notation is desugared?
The best explanation I could find was http://metafoo.co.uk/practical-monads.txt
The two sections "Binding lines together" and "Lines that don't return values" explain it nicely.