Re: Eloquently sums up my feelings about the disadvantages of dynamic typing

[simendsjo]

On Wednesday, 16 October 2013 at 11:36:30 UTC, Jacob Carlborg 
wrote:
On 2013-10-16 12:52, simendsjo wrote:

If @mutable and @impure existed, I could just add some 
annotations at
the top of each module, but it wouldn't help on parameters.

We need a general way to turn off attributes. This 
"!@attribute" has been proposed before.

How would that relate to non-binary attributes like @system, 
@trusted, @safe?
Seems like it would only work on binary built-in attributes.