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

John Meacham john at repetae.net
Wed Aug 27 10:13:30 EDT 2008

I think a strong advantage of the straight up ACIO formulation (rather
than a one-shot IO based thing) is that it can be fully, correctly, and
safely be defined without referencing the IO monad or its interaction
with the IO monad at all. In practice, ACIO will be generally be used to
interact with IO code. But being able to formalize it completely
independently of the IO monad and all the IO monad entails is an
enticing posibility.


John Meacham - ⑆repetae.net⑆john⑈

More information about the Haskell-Cafe mailing list