world as value

[Fergus Henderson]

On 22-Jun-1999, Zuurbier, E. - AMSXE <Erik.Zuurbier@KLM.NL> wrote:
> This can't be the end of the discussion.
> 
> I noticed that in this 'world as value' thread some people started scribling
> Haskell monadic do-syntax IO examples.
> Indeed, where the world is by design implicit, and cannot be referred to
> through a variable in the program text. Then I wondered whether 'world as
> value' implies 'explicit environment passing'. Apparently not. Or does it? I
> am confused.

It's quite possible to implement monadic I/O as a layer on top of a
'world as value' style I/O library.  So yes, if you don't like explicit
environment passing, you can use a monadic style.

-- 
Fergus Henderson <fjh@cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh@128.250.37.3        |     -- the last words of T. S. Garp.