[Haskell-cafe] Referential Transparency and Monads

Jonathan Cast jonathanccast at fastmail.fm
Fri Apr 10 01:00:45 EDT 2009


On Fri, 2009-04-10 at 07:29 +0400, Miguel Mitrofanov wrote:
> On 10 Apr 2009, at 06:30, Jonathan Cast wrote:
> >  do
> >     s <- readFile "/my_file"
> >     writeFile "/my_file" "Hello, world!\n"
> >     threadDelay 10000 -- If you don't like threadDelay, just  
> > substitute forcing
> >                       -- an expensive thunk here
> >     writeFile "/my_file" s
> >
> > As a function from initial state to final state, this program is just
> > the identity;
> 
> No, since world state includes the user state itself, not just files  
> contents.

My programs are passing me around inside a state token?

jcc




More information about the Haskell-Cafe mailing list