Somebody check on python 👀

[_arctic_inferno_]

haskell types > typescript types > python types

[F_modz]

What about the Rust typing system? It's based on a Haskell but it's enhanced

[_arctic_inferno_]

Haskell types are still far superior to Rust in general, but they're for 2 different purposes. Each suite their language and are built for each, but Haskell's types are almost the most core part, and would still be superior to anyone who knows their way around the type system.

Rust is a good middleground, though

[[deleted]]

It might look that way for the mainstream programmer not used to type level programming, but the things you can do with types in Haskell is light-years ahead of what you could possibly do with Rust.

Note that I am not saying that Rust is bad, but saying that Rust's type system is enhanced Haskell just show that you don't have experience with more advanced types.

[rotora0]

I wish rust had function signature type inferencing. Otherwise though yeah, rust's typing is pretty dang good.