[Haskell-cafe] Re: [Haskell] Top Level <-

Adrian Hey ahey at iee.org
Fri Aug 29 21:53:18 EDT 2008

Bryan O'Sullivan wrote:
> I haven't seen a coherent description of
> what the semantics of top-level "<-" should be, but avoidance of
> widespread swearing would be at the top of my list of requirements.

Don't the ACIO monad properties satisfy you?

Anyway, as I pointed out in my last post, if this is a problem
with top level <- ACIO monad bindings it's still going to be
a problem (probably much worse) with unsafePerformIO hack IO
monad bindings.

This problem isn't just going to go away, no matter how long
it's ignored :-)

Adrian Hey

More information about the Haskell-Cafe mailing list