> Rust's borrow checker has a fairly minimal compile time cost and does not impact codegen at all. Most of the compile time is spent on trait resolution, monomophization, optimization passes in LLVM, and linking.
This tells us that we can have a language that compiles super fast, doesn't have typeclasses (and only has structural types), is typesafe & memorysafe, and expression based.
Rust isn't the end of PLs, and we'll soon get something better.