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

Greg Buchholz haskell at sleepingsquirrel.org
Tue Jan 23 16:28:37 EST 2007

Brandon S. Allbery KF8NH wrote:
> That's not quite what I was trying to say.  (p^~p)->q is equivalent  
> to _|_ in the sense that once you derive/compute (respectively) it,  
> the "world" in which it exists breaks.  (I don't think formal logic  
> can have a Haskell-like _|_, but deriving (p^~p)->q is close to it in  
> effect.)

Here's a couple of papers you might like...

"Fast and Loose Reasoning is Morally Correct"

"Precise Reasoning About Non-strict Functional Programs
  How to Chase Bottoms, and How to Ignore Them"

"Total Functional Programming"

Greg Buchholz

More information about the Haskell-Cafe mailing list