Linear namespaces, monads, and Slate

[Youlian Troyanov]

Yep, awesome reading. After I have read it I was so impressed by Alan's
ideas about state, that I even acquired (but have not read yet, because
my time management skills grossly suck) Mike Dixon's phd thesis, mentioned
in the paper.

That paper was easy. I wish all the theory backlog I have to read is like
that.

Unfortunately, the link below doesn't work and I don't remember from where
I have downloaded it.

Keep up the good work, Water. You r da man.

Youlian

-----Original Message-----
From: owner-tunes@bespin.dhs.org [mailto:owner-tunes@bespin.dhs.org]On
Behalf Of Brian Rice
Sent: Wednesday, June 14, 2000 2:31 AM
To: slate@tunes.org; tunes@tunes.org; review@tunes.org
Subject: Re: Linear namespaces, monads, and Slate


At 11:28 PM 6/13/00 -0700, Brian Rice wrote:
>To Tunes members and Slate listeners all,
>
>I searched the mailing lists and couldn't find any clear references to
>this paper, so I thought I should mention it here.
>
>This paper in very extensive form outlines most of the potential benefits
>of linear naming (related closely to the notions of linear typing and
>linear logic). This is extremely close to the Slate philosophy of how
>namespaces are available, but I'd also like to be able to keep such an
>issue in Slate's MOP as much as possible. At any rate, the only
>differences between Slate and the notions of this paper are extremely
>trivial (only syntax and implementation-related), so this doesn't mean Yet
>Another shift in the Slate paradigm. Instead, it should serve as an
>effective tool for formalizing the Slate language, particularly the
>evaluation model that is currently being resolved to a final extent. The
>results of this should also extend into the meta-object system library.
>
>Anyway, I'm just as impatient as you all to see this language get out of
>the research stage and into implementation and testing and development, so
>please be patient because I'm making sure that everyone is getting what
>they need out of this (particularly Tunes HLL).
>
>Thanks for the interest everyone,
>~

Oops I forgot the URL:
ftp://publications.ai.mit.edu/ai-publications/1500-1999/AITR-1627.ps

That's 156 pages, not just light reading, although anyone who can read SEXP
will find it very readible.

Thanks again,
~