Nie zwracałem tak dużej uwagi na rozwój Pythona 3, jak bym chciał, i dopiero zauważyłem kilka interesujących zmian w składni. W szczególności odta odpowiedź SO adnotacja parametru funkcji:

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

Nie wiedząc o tym nic, pomyślałem, że może to być wykorzystane do implementacji statycznego pisania w Pythonie!

Po przeszukaniu wydawało się, że jest dużo dyskusji na temat (całkowicie opcjonalnego) statycznego pisania w Pythonie, takiego jak wspomniane wPEP 3107, i„Dodawanie opcjonalnego wpisywania statycznego do Pythona” (iczęść 2)

.. ale nie jestem pewien, jak daleko to się posunęło. Czy są jakieś implementacje typowania statycznego za pomocą adnotacji parametru? Czy któryś z pomysłów typu sparametryzowanego wprowadził go do Pythona 3?