[Haskell] Uniqueness types for Haskell?

Christian Stork cs-haskell at nil.ics.uci.edu
Sat Sep 10 09:03:27 EDT 2005


After looking at the language Clean (http://www.cs.ru.nl/~clean/) I
wonder why there does not seem to be the desire to integrate uniquness
typing into Haskell.

Any ideas, pointers, comments?

-- 
Chris Stork   <>  Support eff.org!  <>   http://www.ics.uci.edu/~cstork/
OpenPGP fingerprint:  B08B 602C C806 C492 D069  021E 41F3 8C8D 50F9 CA2F


More information about the Haskell mailing list