Re: [Haskell-cafe] Can we come out of a monad?

Martijn van Steenbergen wrote:

In fact, I would argue that a monad which you cannot escape from is not very useful at all. IO is the only exception I know of.

You can escape IO just fine. Just compile your program, and then run it in the real life monad. Results aren't guaranteed to be the same across all runs, but that's the whole reason for using monads to reason purely about side effects. Eh? You meant while staying within the computer? -- Live well, ~wren