10 years ago GVR discussed optional static typing in Python [1]. He liked the idea but he thought it was really hard to properly implement. With PEP 3107 [2], s

10 years ago GVR discussed optional static typing in Python [1]. He liked the idea but he thought it was really hard to properly implement. With PEP 3107 [2], some basic syntax constructs were added for this purpose, but no convention was suggested for specific type annotations, resulting in the feature not being really used. This year GVR started the discussion again [3][4], this time to propose an specific syntax for type annotations and include them in the standard library. This syntax is based on MyPy [5]. GVR has never been opposed to more than simple type annotations. However, he is opposed to implement static type checking in the core of Python. Instead, he suggests to use external tools such as MyPy or specific IDEs. [1] http://www.artima.com/weblogs/viewpost.jsp?thread=85551 http://www.artima.com/weblogs/viewpost.jsp?thread=85551 [2] https://www.python.org/dev/peps/pep-3107/ https://www.python.org/dev/peps/pep-3107/ [3] https://mail.python.org/pipermail/python-ideas/2014-August/028618.html https://mail.python.org/pipermail/python-ideas/2014-August/0... [4] https://mail.python.org/pipermail/python-ideas/2014-August/028742.html https://mail.python.org/pipermail/python-ideas/2014-August/0... [5] http://www.mypy-lang.org/ http://www.mypy-lang.org/