At 13:23 11/06/04 +0200, Tom Hofte wrote:
Hi,

I have an question about the IO monad

I want to have a function that unpack an IO.
I should have the type: IO a -> a.
Is this possible?

Possible, but... in addition to other responses, I'd also recommend looking at this:
http://www.nomaware.com/monads/html/laws.html#nowayout


If you can get computed values out the IO monad, you have the potential to seriously break many things.

#g
--


------------ Graham Klyne For email: http://www.ninebynine.org/#Contact

_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to