[Haskell-cafe] Re: Total Functional Programming in Haskell

David Menendez dave at zednenem.com
Thu Oct 2 14:20:34 EDT 2008

On Wed, Oct 1, 2008 at 7:53 PM, wren ng thornton <wren at freegeek.org> wrote:
> [1] Just like existential types, you can put something in but you can never
> get it back out again. For inescapable monads like IO and ST, this is why
> they have the behavior of sucking your whole program into the existential
> black-hole.

That's true for IO, but the whole point of ST is that it *is*
escapable. What makes ST (and IO and STM) unusual is that it can't be
implemented in pure Haskell without special support from the run-time
Dave Menendez <dave at zednenem.com>

More information about the Haskell-Cafe mailing list