Ada and Rust are both significantly easier to perform aliasing analysis on, so frequently you can get much better code. Both languages have slight overhead for bounds checking and such, but you can turn it off (at least in Ada) if it&#x27;s a problem (hint: it isn&#x27;t).<p>Same reason Fortran is fast actually: it just disallows pointer aliasing entirely¹, meaning you get none of the flexibility of C pointers (heck, you don&#x27;t even <i>have</i> pointers, basically), but if you&#x27;re multiplying matrices it flies.<p>¹ I recall newer Fortrans have pointers, but as I&#x27;m not a Fortran programmer I don&#x27;t actually know.