Linear namespaces, monads, and Slate

Youlian Troyanov
Wed, 14 Jun 2000 03:07:20 -0400

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

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.


-----Original Message-----
From: []On
Behalf Of Brian Rice
Sent: Wednesday, June 14, 2000 2:31 AM
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:

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

Thanks again,