world as value

[Fergus Henderson]

On 12-Jul-1999, Peter Achten <peter88@cs.kun.nl> wrote:
> Let me first note that "world-as-value" and "explicit multiple
> environment passing methodology" are actually different names for the
> same thing. The term world-as-value was introduced in my PhD.Thesis as
> a slogan: it should be short and catchy. The latter term is more
> technical and accurate.

What term would you use to describe Mercury, then?
Mercury uses a "world-as-value" methodology, but in general it
uses only a single environment type (called `io__state'),
rather than making use of sub-environments, as in Clean.

I think it makes sense to use the "world-as-value" slogan
to refer to the general notion of using an explicit environment passing
methodology and to explicitly state "multiple environments" if that's
what you mean.

Cheers,
	Fergus.

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