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

[Jonathan M Davis]

On Saturday, May 11, 2013 13:12:00 Diggory wrote:
> Just listened to this talk and it made me think about the various
> type qualifiers. Has there ever been any thought of introducing a
> new type qualifier/attribute, "unique"?

It's been brought up quite a few times (it might have even have been brought 
up by Bartoz ages ago - I don't recall for sure). The problem is that it 
complicates the type system yet further. We'd have to find a way to introduce 
it without impacting the rest of the type system much or complicating it much 
further. And that's a tall order. Not to mention, we already have a lot of 
attributes, and every new one adds to the complexity and cognitive load of the 
language. So, we have to be very careful about what we do and don't add at 
this point.

- Jonathan M Davis