Jak jsem již řekl, v praxi je drtivá většina proměnných typově statická. A ALESPOŇ ty by mohl interpret či offline checker kontrolovat (ano, typove signatury + pylint je asi to, co mam namysli*).
Mám-li
for i in range...
s = i[0]
a interpret to odhali az pri behu, neni to vyhoda jazyka. Je to nevyuziti kontroly, ktera by s klidem mohla probehnout.
Ale na tom se asi neshodneme, je zbytecne se opakovat donekonecna, takze ja koncim a preji pekny den :)
* ovsem s tou vyhradou, ze smysl to zacne mit az tehdy, kdyz budou otypovane standardni funkce, protoze ty se pouzivaji nejcasteji. A bohuzel navrzeny zpusob typove anotace pouze umoznuje - nestandardizuje, takze efekt to mit nebude