[Haskell-cafe] IO is not a monad (and seq, and in general _|_)

Brandon S. Allbery KF8NH allbery at ece.cmu.edu
Tue Jan 23 15:46:07 EST 2007

On Jan 23, 2007, at 15:34 , Neil Mitchell wrote:

> prove/compute anything you couldn't before. While removing _|_ from
> the language does make some things nicer to reason about, there aren't
> many corners where _|_ really gets in the way that much - seq being
> one of those few corners.

But that is exactly the problem:  `seq` forces _|_ to get into the  
way, when it normally doesn't.  So I'm not clear that trying to fit  
`seq` into a formalization of Haskell's semantics is the way to go.

brandon s. allbery    [linux,solaris,freebsd,perl]     allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH

More information about the Haskell-Cafe mailing list