Safe mode in D?

[Paulo Pinto]

Am 18.10.2013 17:40, schrieb Andrei Alexandrescu:
> On 10/17/13 11:53 PM, Maxim Fomin wrote:
>> ...
>
> It's a given that safety will disallow constructs that are safe upon
> inspection but the type system is unable to prove correct. This is the
> case for all languages, C# included.
>
>
> Andrei
>


Wouldn't be easier, if D followed a model similar to C# and Modula-3 
where the code is by default safe and system/trusted code is only 
allowed inside explicitly unsafe code blocks?

Just an idea, maybe it wouldn't be much different from what it is now.

--
Paulo