[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