O'Reilly logo
  • Alain O'Dea thinks this is interesting:

If this responsibility were shifted over to the compiler, the resulting binaries would be significantly slower, due to integrity checks on every variable


Cover of Hacking: The Art of Exploitation, 2nd Edition


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.