Type safety could prevent nuclear war

[Ola Fosheim Grøstad via Digitalmars-d]

On Thursday, 4 February 2016 at 23:29:10 UTC, tsbockman wrote:
> That explains why the linker doesn't catch it. I still don't 
> see much excuse for the compiler allowing it though, beyond a 
> desire to allow each module to be compiled independently.

The excuse is that C use the same mechanism for creating bindings 
to C and non-C code. It is actually very handy. IF you want a 
system level language and full separation of compilation units 
(which allows for very fast compilation).