On Mon, Mar 21, 2011 at 10:20 PM, Jonathan S. Shapiro <[email protected]> wrote: > the data structure is heap-based, and there exists the possibility (in > abstract) > that the reference to the data structure may be shared.
I recently had come across a post here in which they were discussing concurrency issues in Go, and one of the commenters mentioned uniqueness types http://www.airs.com/blog/archives/482 http://en.wikipedia.org/wiki/Uniqueness_type uniqueness types seem to be a mechanism for at least eliminating the possibility that a data structure is shared. I honestly don't know a whole lot about them, but the idea, that you can restrict a reference thus that to hand it off to someone else, you must renounce your reference seems powerful >the notion of "not mutable via any alias" remains a powerful notion. agreed, so expanding the above, to the idea that in order to hand off, an mutable reference, you must renounce the mutability of your references, I guess honestly i'm not saying much except that the same "not mutable via any alias" can be turned on it's head to mean, 'only mutable via a single reference' or something. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
