On Tue, Mar 22, 2011 at 4:34 AM, Matt Rice <[email protected]> wrote: > uniqueness types seem to be a mechanism for at least eliminating the > possibility that a data structure is shared.
the DDC thesis said, i think, that Clean (and maybe ATS, dunno) shows that uniqueness types quickly get out of hand? or maybe i'm mixing up everything in my head. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
