If this responsibility were shifted over to the compiler, the resulting binaries would be significantly slower, due to integrity checks on every variable
This has not been disproven. Even the Rust Programming Language injects runtime bounds-checks. Significant performance cost is likely overstated. A dependently typed static language might be able to achieve this, but I don't know of any dependently typed language with performance competitive with C.
Share this highlighthttp://www.safaribooksonline.com/a/hacking-the-art/402288/