[clean-list] Simplified uniqueness typing

Jari-Matti Mäkelä jmjmak at utu.fi
Thu Nov 20 12:12:54 MET 2008


Hi

are there any plans to adopt the simplified uniqueness typing system
(http://www.cs.tcd.ie/~devriese/pub/ifl07-paper.pdf) in the coming versions of
Clean?

Another question - if Clean continues to support parallel/concurrent
programming some day, does uniqueness typing support dividing a massive
computational task to several threads and then combining the results or does
it disallow this. Are there alternative approaches to this problem?



More information about the clean-list mailing list