Исправление Freyr69, (текущая версия) :
В пистоне есть типы, как и во всех (почти) языках. Ты говоришь про статические проверки, а для них mypy как и любой gradual-typing мало пригоден. Статическая типизация должна быть изначально, ее не бэкпортировать, так как любой динамический язык допускает unsound код в любой даже самой продвинутой системе типов.
Исходная версия Freyr69, :
В пистоне есть типы, как и во всех языках. Ты говоришь про статические проверки, а для них mypy как и любой gradual-typing мало пригоден. Статическая типизация должна быть изначально, ее не бэкпортировать, так как любой динамический язык допускает unsound код в любой даже самой продвинутой системе типов.