Haskell, any ML, Rust, etc. TS is on par with any crufty ad-hoc type system like that of Java or C++. The TS type system is neither especially powerful nor esp

Haskell, any ML, Rust, etc. TS is on par with any crufty ad-hoc type system like that of Java or C++. The TS type system is neither especially powerful nor especially robust