[Haskell-cafe] IO is not a monad (and seq, and in general _|_)
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
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"
More information about the Haskell-Cafe