Twitter user @DanyX23:
TIL: pyright, the python type checking engine that is used by VS Code, has support for exhaustiveness checking for match statements with union types!
If you add the following to your pyproject.toml, you'll get the attached warning
[tool.pyright] reportMatchNotExhaustive = true
This is honestly so frustrating to see bc I'll still never understand why Python isn't just statically typed.
It's right there in the Zen:
It wouldn't even have to be less simple as it could still be weakly typed, a la Rust or Haskell, but not as robust.
You wouldn't need these extra special tools if the language was just built right!
Same goes for the try/catch exception system where runtime errors can pop up bc you don't have to handle exceptions:
Python is a good language that could've been a great one smh
There are various ways to monitor and handle types, they just aren't set up right out of the box. It's not uncommon for a language to be greatly enhanced by libraries/extensions. Having a robust development environment and standards are just part of writing good code.
This is not an apology for python not having it all out of the box, I think it should. Some things.just take setup and for now thats how it is.
I feel like Python is coming to its senses in the recent years, with releases focusing on typing constructs and the match statement. I think they're on the path to be a great statically typed language, don't you think?