“Rust isn’t rocket science. it’s really more like lambda calculus crossed with category theory and type theory with some simple compile-time token manipulation”