If you needed any more evidence that memory safety is the future...
Brad Roberts via Digitalmars-d
digitalmars-d at puremagic.com
Wed Mar 8 09:40:29 PST 2017
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.
More information about the Digitalmars-d
mailing list