@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