On 2012-09-01, 18:20, Dmitry Olshansky wrote:
The idea in a nutshell:
- specify a way attach tags to function declarations (to "paint"
functions)
- allow specifying is-a relation between tags (supertags and subtags).
- add restrict specification that allows user to enforce on a block of
code the following:
a) disallow use of certain language features
b) allow(or disallow) calling function with specific tags
- fit with existing world and provide clean migration path, specify
defaults
I claim that it's enough to implement pure/safe/trusted/nothrow/nogc and
proposed nogc.
I'm sorry I have not gotten around to commenting on this before, but I
*really* like this proposal. As foobar has said, a general annotation
system would be real nice, but as far as I can see, it can be built on
top of this, at a later point.
Also, I cannot see that this has been turned into a proper DIP. :p
http://prowiki.org/wiki4d/wiki.cgi?LanguageDevel/DIPs
--
Simen
