Type safety could prevent nuclear war

Chris Wright via Digitalmars-d digitalmars-d at puremagic.com
Thu Feb 4 16:07:45 PST 2016


On Thu, 04 Feb 2016 15:59:06 -0800, H. S. Teoh via Digitalmars-d wrote:

> Nah... while D, by default, tries to be type-safe and prevent guffaws
> like the above, it *is* also a systems programming language (or at
> least, that's one of the stated goals), so it does allow you to go under
> the hood to do things that you normally aren't allowed to do.

Which suggests a check of this sort should be a warning rather than an 
error, or perhaps that a pragma or attribute could be offered to ignore 
it.

Systems languages let you go into "Here Be Dragons" territory, but it 
would be nice if they still pointed out the signs to you.


More information about the Digitalmars-d mailing list