It already can be used for development, IDEs such as PyCharm perform quite effec... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

mfgs on Feb 11, 2023 | parent | context | favorite | on: Type hinting sucks

It already can be used for development, IDEs such as PyCharm perform quite effective live type checking based on type hints.

Jasper_ on Feb 11, 2023 [–]

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...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact