2 ms·

Python has had since Mypy and Pyright since forever.

• grumpyprole 2y ago
  Even with those retrofits, it's still a language designed for maximum flexibility and maximum ease of use. This has trade offs with regard to reasoning for correctness.
  • wiseowise 2y ago
    What’s your point? That their type checks are incomplete?
    • grumpyprole 2y ago
      That Python makes the wrong trade-offs for mission critical software. This goes beyond just lacking static types.
      • wiseowise 2y ago
        Which trade offs do you make when you opt in for full static typing? Except for performance.