@mathieu sorry if I oversold mypy 😕
@wjt also, a big part of why mypy is not enough is that most libraries don't have type annotations (because they are completely optional) so there's a lot it can't do.
There's a repo of stubs, things are improving…
But due to type annotations being, well, optional annotations (rather than actually checked and enforced) progress is slow and it will be years before we have a really great type checking system for Python.
Who knows, maybe Python 4 would make them mandatory? 😅
@mathieu we can dream! says this jaded former Haskell enthusiast
@wjt haha, never tried Haskell.
Honestly, I think Rust will have really caught on before Python massively adopts type checking.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!