safety model in D

[Rainer Deyke]

Andrei Alexandrescu wrote:
>> module name;                  // interface: unsafe   impl.: unsafe
>> module (system) name;         // interface: safe     impl.: unsafe
>> module (safe) name;           // interface: safe     impl.: safe
>>
>> so you can call system modules (io, network...) from safe code.
> 
> That's a pretty clean design. How would it interact with a -safe
> command-line flag?

'-safe' turns on runtime safety checks, which can be and should be
mostly orthogonal to the module safety level.


-- 
Rainer Deyke - rainerd at eldwood.com