[Haskell-cafe] Monads, do and strictness

Roman Cheplyaka roma at ro-che.info
Sat Jan 21 19:08:23 CET 2012


* David Barbour <dmbarbour at gmail.com> [2012-01-21 10:01:00-0800]
> As noted, IO is not strict in the value x, only in the operation that
> generates x. However, should you desire strictness in a generic way, it
> would be trivial to model a transformer monad to provide it.

Again, that wouldn't be a monad transformer, strictly speaking, because
"monads" it produces violate the left identity law.

-- 
Roman I. Cheplyaka :: http://ro-che.info/



More information about the Haskell-Cafe mailing list