[Haskell-cafe] new recursive do notation (ghc 6.12.x) spoils
layout
Alexander Solla
ajs at 2piix.com
Sun Jun 20 21:32:38 EDT 2010
On Jun 20, 2010, at 6:24 PM, Alexander Solla wrote:
> do a <- getChar
> let b = c >>= return . f
> let c = b >>= return . g
> c >>= putChar
> b
> ________________
Correction: by your construction, f and g are already in the Kliesli
category, so you don't need the return compositions. I still don't
know if the construction is admissible though.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100620/a736b925/attachment.html
More information about the Haskell-Cafe
mailing list