On 5/12/13 5:10 AM, Simen Kjaeraas wrote:
On 2013-05-12, 08:12, deadalnix wrote:
On Saturday, 11 May 2013 at 22:24:38 UTC, Simen Kjaeraas wrote:
I'm not convinced. unique, like const or immutable, is transitive. If
foo
is unique, then so is foo.bar.
That isn't true. Please read microsoft's paper.
Done. *Mostly* transitive, then. Anything reachable through a unique
reference is either unique or immutable.
Bartosz, Walter and I reached a similar design a few years ago. We just
thought it complicates things too much for what it does.
Andrei
