Re: [Haskell-cafe] Referential Transparency and Monads

On 2009 Apr 9, at 16:09, Luke Palmer wrote:

On Thu, Apr 9, 2009 at 1:33 PM, Miguel Mitrofanov

...

wrote: I'm not sure what you mean by that, but semantically IO is definitely *not* a state monad. Under any circumstances or any set of assumptions.

Ehm? Why not?

Mainly forkIO. There may be other reasons.

I thought I had excluded that stuff to simplify the question; the fact that IO is Haskell's toxic waste dump is more or less irrelevant to the core concept. -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH