Type safety could prevent nuclear war

[tsbockman via Digitalmars-d]

On Thursday, 4 February 2016 at 23:25:58 UTC, Ola Fosheim Grøstad 
wrote:
> In C, compilation units are completely independent, and can in 
> fact come from different compilers and different languages. C 
> is very much a system level programming language.

I should also point out that D can link to (more or less) 
anything that C can, and yet does not have the weakness exploited 
by the winning entry.

The only real reason that D is one wit less of a "system level 
programming language" than C, is the heavyweight runtime library 
- but that is irrelevant to the problem of type-checking 
cross-module references within the same code base.