[Haskell-cafe] Re: [Haskell] Top Level <-
ganesh at earth.li
Wed Aug 27 17:29:28 EDT 2008
On Wed, 27 Aug 2008, Jonathan Cast wrote:
> * I wonder why that name was chosen? The design doesn't seem to have
> anything to do with IO, it's more of a `we have this in C so we want it
> in Haskell too' monad.
The 'C' in ACIO says that it commutes with any operation in the IO
monad. Without that property you can't safely implement it in a
program where the top-level has type IO a.
More information about the Haskell-Cafe