Simple function annotations like def foo(x: int) -> str: ... have been available since 3.0, and editors like PyCharm already use them for typechecking. For

Simple function annotations like def foo(x: int) -> str: ... have been available since 3.0, and editors like PyCharm already use them for typechecking. For new PEP 0484 features like generics, MyPy supports Python 3.2 and up, but PyCharm support seems to be work in progress: https://youtrack.jetbrains.com/issue/PY-15206 https://youtrack.jetbrains.com/issue/PY-15206