[Haskell-cafe] Re: Referential Transparency and Monads

2009-04-09 Thread Heinrich Apfelmus
Luke Palmer wrote: 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. Tackling the awkward squad mentions that

Re: [Haskell-cafe] Re: Referential Transparency and Monads

2009-04-09 Thread Brandon S. Allbery KF8NH
On 2009 Apr 10, at 1:09, Jonathan Cast wrote: On Fri, 2009-04-10 at 01:03 -0400, Brandon S. Allbery KF8NH wrote: On 2009 Apr 10, at 0:52, Jonathan Cast wrote: On Fri, 2009-04-10 at 00:46 -0400, Brandon S. Allbery KF8NH wrote: IO a ~ World - (a, World) I still don't understand this; we are