Type safety could prevent nuclear war

[Chris Wright via Digitalmars-d]

On Fri, 05 Feb 2016 01:10:53 +0000, tsbockman wrote:

> All along I have been saying this is something that *compilers* should
> warn about.

The compiler doesn't have all the information you need. You could add it 
to the build system or the linker as well as the compiler. Adding it to 
the linker is almost identical to my previous suggestion of adding 
optional name mangling to C.