News for hackers. Stuff that matters.

A comment on Why type hinting sucks (/r/Python). Parent comment

Re:Why type hinting sucks (/r/Python) by mfgs on Saturday February 11, 2023 @06:36AM (#34751418)
It already can be used for development, IDEs such as PyCharm perform quite effective live type checking based on type hints.
[ Parent | on HN ]
Re:Why type hinting sucks (/r/Python) by Jasper_ on Saturday February 11, 2023 @10:18AM (#34753056)
Note that PyCharm and mypy's semantics differ in some key ways:

https://youtrack.jetbrains.com/issue/PY-54411/Type-checkers-....

https://youtrack.jetbrains.com/issue/PY-24834/Support-strict...

[ Parent | on HN ]