[Haskell-cafe] new recursive do notation (ghc 6.12.x) spoils
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
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...
More information about the Haskell-Cafe