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
