@trust is an encapsulation method, not an escape

Walter Bright via Digitalmars-d digitalmars-d at puremagic.com
Thu Feb 5 17:12:16 PST 2015


On 2/5/2015 4:13 PM, Dicebot wrote:
> I know this definition. It have tried it in practice and concluded as being
> absolutely useless. There is no way I am going to return back to this broken
> concept - better to ignore @safe completely as misfeature if you insist on doing
> things that way.

I'm sorry I haven't been able to convince you. I don't have any more arguments 
other than just repeating myself.

Moving forward, I must insist that use of @trusted in such a way as to make its 
surrounding context not mechanically checkable is no longer acceptable in Phobos.

If need be, I will rewrite std.array myself to address this.

But D is a systems programming language, not a B&D language, and anyone will be 
free to ignore @safe and continue to use the other benefits of D, or use @safe 
in a way that conforms to their own formulation of best practices.


More information about the Digitalmars-d mailing list