On 3/8/2017 5:56 AM, Moritz Maxeiner via Digitalmars-d wrote:
On Wednesday, 8 March 2017 at 13:30:42 UTC, XavierAP wrote:
On Wednesday, 8 March 2017 at 12:42:37 UTC, Moritz Maxeiner wrote:
Doing anything else is reckless endangerment since it gives you the
feeling of being safe without actually being safe. Like using @safe
in D, or Rust, and being unaware of unsafe code hidden from you
behind "safe" facades.
Safe code should be unable to call unsafe code -- including interop
with any non-D or binary code, here I agree. I was supposing this is
already the case in D but I'm not really sure.
You can hide unsafe code in D by annotating a function with @trusted
the same way you can hide unsafe code in Rust with unsafe blocks.
Clearly marked is an interesting definition of hidden.
