Memory management design

[Dicebot]

On Wednesday, 10 July 2013 at 08:16:55 UTC, Mr. Anonymous wrote:
> I thought about allowing attributes to be applied to a whole 
> module, such as:
> @safe @nogc module foo_bar;
>
> Then, "@system", "@allowheap" and friends could be used where 
> needed.

You can do it, but it is not always possible to "disable" 
attribute/qualifier.

@safe:
     @system void foo() {} // ok

immutable:
     int a; // oh, where is my "mutable" keyword?

pure:
     void foo(); // oops, no "impure"

If a generic notion becomes accepted that even default behavior 
should have its own attribute, this will become less of an issue.