I started adding type hints to some Python code the other day and something in my brain was like, "WTF!? Just use Haskell!" When you add types to Python code

I started adding type hints to some Python code the other day and something in my brain was like, "WTF!? Just use Haskell!" When you add types to Python code it tends to destroy the elegance and readability of it, which is Python's main advantage over other languages. If you're paying the overhead of adding type information already, you might as well use a language like Haskell that makes it first class and unlocks a ton of power and elegance (and convenient tooling.) Python has a sweet spot but IMO explicit typing draws it away from that. Python is a very complicated and sophisticated semantics that acts like a simple and easy semantics. It's a delicate balance.