Language Subsets

[deadalnix]

Le 16/04/2012 10:40, Klaim - Joël Lamotte a écrit :
> Hi,
>
> I'd like to have more informations about the subsets of D.
> My current understanding is that D have at least one subset that is
> called SafeD, I m reading that article about it right now:
> http://dlang.org/safed.html
> I first thought there was only SafeD but in a recent video from
> Lang.Next mr Alexandrescu says there are several layers or something
> similar.
> Am I correct?
>
> Also, I would like to find a page on the website that list clearly what
> is in each subset. I couldn t find it so far but maybe I m not using the
> right words to search.
>
>
> Thanks
>
> Klaim / Joel Lamotte
>

@safe only allow operation that cannot screw up your memory. @system is 
the complete language.

@trusted is an explicit qualifie, to allow @safe code to call @system 
code. It is mandatory, for instance, for @safe code to call the GC (GC 
code cannot be @safe).

It is up to the develloper to ensure that @trusted code can really be 
trusted, so it isn't a subset.