[Haskell-cafe] Re: Referential Transparency and Monads

Achim Schneider barsoap at web.de
Fri Apr 10 06:54:56 EDT 2009


Jonathan Cast <jonathanccast at fastmail.fm> wrote:

> 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?
> 
Sure.

http://en.wikipedia.org/wiki/File:8-cell.gif

Inside and outside become quite mindboggling when dealing with more
dimensions than you expect...

-- 
(c) this sig last receiving data processing entity. Inspect headers
for copyright history. All rights reserved. Copying, hiring, renting,
performance and/or quoting of this signature prohibited.




More information about the Haskell-Cafe mailing list