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
