On Fri, 20 Jun 2014 15:22:02 -0400, Brian Schott <briancsch...@gmail.com>
wrote:
http://wiki.dlang.org/DIP64
Attributes in D have two problems:
1. There are too many of them and declarations are getting too verbose
2. New attributes use @ and the old ones do not.
I've created a DIP to address these issues.
I like it.
At first, I thought "hm.., every project is going to have their own
definition for @safe @pure @nothrow," but we can put one in druntime
common sets that everyone should use, and we already allow custom
attributes anyway that have to be looked up.
One thing this will make slightly more difficult is looking for e.g.
@trusted functions, because you can't just grep for them. However, I think
with DScanner, you can probably find things easy enough.
2 thoughts:
1. On H.S.Teoh's idea to add negation, what does foo() @pure !@pure mean
(or if my preferred syntax was accepted, @pure @pure(false) )?
2. What does this print?
@myattr = @safe @pure;
void foo() @myattr {}
pragma(msg, (&foo).typeof);
-Steve
