Proposal: Make StateT in mtl lazy

Neil Mitchell ndmitchell at gmail.com
Wed Jan 31 11:06:07 EST 2007


Hi

> If we're going to have a strict StateT then it would make sense to have
> a strict State too. Control.Monad.State.Strict perhaps? (and likewise
> for the other mtl monads, where appropriate).

For foldl we have foldl and foldl'. Why not State and State' ? I'm not
a particular fan of changing the imports to get different sets of
behaviours...

Thanks

Nel


More information about the Libraries mailing list