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

On Thu, Apr 9, 2009 at 1:33 PM, Miguel Mitrofanov <miguelimo38@yandex.ru> 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