3 ms·
I don't think people select Python for it's performance ;) But the type-checking could be a command line parameter, used only during development.
by flohofwoe 4y ago
I don't think people select Python for it's performance ;)
But the type-checking could be a command line parameter, used only during development.
- mfgs 4y agoIt already can be used for development, IDEs such as PyCharm perform quite effective live type checking based on type hints.
- Jasper_ 4y agoNote that PyCharm and mypy's semantics differ in some key ways: https://youtrack.jetbrains.com/issue/PY-54411/Type-checkers-should-move-towards-requiring-the-optional-type-to-be-made-explicit https://youtrack.jetbrains.com/issue/PY-54411/Type-checkers-.... https://youtrack.jetbrains.com/issue/PY-24834/Support-stricter-handling-of-typing.Union-types-similar-to-that-in-mypy https://youtrack.jetbrains.com/issue/PY-24834/Support-strict...