Я действительно не обращал столько внимания на разработку Python 3, сколько мне хотелось бы, и только заметил некоторые интересные новые изменения синтаксиса. Конкретно изэтот так ответ аннотация параметров функции:

def digits(x:'nonnegative number') -> "yields number's digits":
    # ...

Ничего не зная об этом, я подумал, что это может быть использовано для реализации статической типизации в Python!

После некоторого поиска, казалось, было много дискуссий относительно (совершенно необязательно) статической типизации в Python, такой как упомянутый вПКП 3107, а также& quot; Добавление необязательной статической типизации в Python & quot; (а такжечасть 2)

... но мне не ясно, как далеко это продвинулось. Существуют ли реализации статической типизации, использующие параметр-аннотацию? Делали ли какие-нибудь идеи параметризованного типа в Python 3?