DIP6: Attributes

[Robert Fraser]

Max Samukha wrote:
> On Sat, 01 Aug 2009 15:24:26 -0700, Robert Fraser
> <fraserofthenight at gmail.com> wrote:
> 
>> Ary Borenszweig wrote:
>>> http://www.prowiki.org/wiki4d/wiki.cgi?LanguageDevel/DIPs/DIP6
>> I think annotations are a good idea, but turning keywords already in the 
>> language into annotations seems kinda pointless & would kill backwards 
>> compatibility. In C#/Java some things are modifiers while others are 
>> annotations -- and with good reason.
>>
>> IMO, the focus of annotations should be mostly on things _external_ to 
>> the compiler. So, serializability, thread safety, etc. Really, I think 
>> annotations should be for compile-time reflection (so like someone else 
>> said __traits(annotations, symbol) should return a tuple of annotation 
>> structs.
> 
> Please not a tuple of structs but a tuple of tuples. One should be
> able to specify types and aliases as annotation parameters.

I wish that's work, but Tuples flatten themselves.