The python type hints are useful for static analysis (and yes, should be the default) but it’s a joke compared to the utility of types in a language like Haskell.
If you're comparing type systems against Haskell you're excluding all mainstream languages except maybe Scala and Rust
If you're comparing type systems against Haskell you're excluding all mainstream languages except maybe Scala and Rust