linear/uniqueness typing?

I know of, but haven't really much used, Concurrent Clean. What other
(preferably non-dead :-) languages support linear or uniqueness
typing?

thanks.

On Wed, 23 Jul 2008 16:47:19 -0700 (PDT), raould <raould@gmail.com>
wrote:

>I know of, but haven't really much used, Concurrent Clean. What other
>(preferably non-dead :-) languages support linear or uniqueness
>typing?

What makes you think Concurrent Clean is dead?

The functional logic programming language Mercury (see
http://en.wikipedia.org/wiki/Mercury...ng_language%29) also
uses uniqueness types (see "Uniqueness type - Wikipedia, the free
encyclopedia" (see http://en.wikipedia.org/wiki/Uniqueness_type)).

Also, in the paper "Functional Netlists" (see
http://www.postech.ac.kr/~gla/paper/icfp54-park.pdf), Sungwoo Park,
Jinha Kim, and Hyeonseung Im develop a variant of the lambda calculus,
called "l$B&K(B" ("el-lambda," for "linear lambda"), which uses a linear
type system.

-- Benjamin L. Russell

hi,

thanks for the note.

> What makes you think Concurrent Clean is dead?

i meant that i was looking for others than Clean that are themselves
non-dead, i wasn't passing judgment on Clean (which i think is very
interesting but not for me personally until it gets a debugger and a
different ide).

> The functional logic programming language Mercury (seehttp://en.wikipedia..org/wiki/Mercury_%28programming_language%29) also
> uses uniqueness types (see "Uniqueness type - Wikipedia, the free
> encyclopedia" (seehttp://en.wikipedia.org/wiki/Uniqueness_type)).

thanks for the reminder, i've on occasion looked at mercury before, i
should look again.

> Also, in the paper "Functional Netlists" (seehttp://www.postech.ac.kr/~gla/paper/icfp54-park.pdf), Sungwoo Park,
> Jinha Kim, and Hyeonseung Im develop a variant of the lambda calculus,
> called "lë" ("el-lambda," for "linear lambda"), which uses a linear
> type system.

i'm a geek of little brain and time so the more academic things are
beyond me, but i hope folks who have the abilities will continue to
work on such things and try to get them out to us regular joes.