Eloquently sums up my feelings about the disadvantages of dynamic typing

[Andrei Alexandrescu]

On 10/16/13 4:47 AM, simendsjo wrote:
> 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?

Those would be turned off by choosing another one. The point is they are 
surjective (cover the entire domain). The binary attributes are not 
surjective - the absence of one indicates its opposite, but there is no 
way to name the opposite.

> Seems like it would only work on binary built-in attributes.

Yah.


Andrei