DConf 2013 Day 1 Talk 2 (Copy and Move Semantics)

[Simen Kjaeraas]

On 2013-05-12, 11:10, 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.

btw, we're free to define unique to be completely transitive, or even
not transitive at all. We need not end up with a carbon copy of
Microsoft's system.

-- 
Simen