3 ms·
It already can be used for development, IDEs such as PyCharm perform quite effective live type checking based on type hints.
by mfgs 4y ago
It 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...