I'd recommend learning Type Theory (if you need languages – learn HoTT or just read papers on type theory around borrow checking etc.) to understand how Rust ty

I'd recommend learning Type Theory (if you need languages – learn HoTT or just read papers on type theory around borrow checking etc.) to understand how Rust type system works, and assembly/LLVM (and again, papers) to understand how it's implemented. Not C. The notion of "last language" that I used is, however, a bit different. It just meant that if you've implemented something in Rust, you won't need to rewrite in C or C++ due to presence of garbage collection or a need to integrate it as a library.