[Haskell-cafe] Re: Referential Transparency and Monads

Jonathan Cast jonathanccast at fastmail.fm
Fri Apr 10 00:52:48 EDT 2009


On Fri, 2009-04-10 at 00:46 -0400, Brandon S. Allbery KF8NH wrote:
> On 2009 Apr 10, at 0:33, Heinrich Apfelmus wrote:
> > 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.
> >  loop' :: IO ()
> >  loop' = putStr "o" >> loop'
> >
> > are indistinguishable in the
> >
> >  IO a  ~  World -> (a, World)
> 
> 
> I still don't understand this; we are passing a World and getting a  
> World back,

We are?  Why do you think that?

jcc




More information about the Haskell-Cafe mailing list