Trusted Manifesto

[Andrei Alexandrescu via Digitalmars-d]

On 2/9/15 2:05 AM, Kagamin wrote:
> On Monday, 9 February 2015 at 08:19:24 UTC, Walter Bright wrote:
>> while not allowing std.conv.trusted escapes in @safe function would be
>> by convention.
>
> Can SafeD be enforced given that?

At some point you have to define a trusted computing base. That includes 
the compiler and e.g. the @safe/@trusted functions in the standard 
library. With those in tow it's easy to enforce safety in client code by 
ruling auto trusted constructs automatically. -- Andrei