[clean-list] Simplified uniqueness typing

[Jari-Matti Mäkelä]

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?