I code a ton in both Rust and Typescript for work... I think Rust has just as capable of a type system, but leveraging macros for functional defs vs object ones.