I'm so sick of people saying TypeScript is the only statically-typed language out there. Rust is statically typed, and it's been doing it better than TS for years. Source? Look at the borrow checker.