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? _______________________________________________ clean-list mailing list [email protected] http://mailman.science.ru.nl/mailman/listinfo/clean-list
