State monads don't respect the monad laws in Haskell

Ashley Yakeley ashley@semantic.org
Wed, 15 May 2002 17:58:01 -0700


At 2002-05-15 09:48, John Launchbury wrote:

>Will the next version of Haskell have something better. I hope so, but I
>fear not. 

Rename it "unsafeSeq"? No puns please...

But I think breaking Monad laws etc. is a different kind of unsafeness 
from usPIO etc.

-- 
Ashley Yakeley, Seattle WA
unsafePerformIO is NOT Haskell!