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

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

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

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

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