> потому динамическая типизация == постоянная попоболь ибо никогда нельзя доверять коду который
> раз и сломался:)

Это как бы давно очевидно. Шутка с Питоном в том, что его активно внедрять стали относительно недавно, а языки с a-hoc полиморфизмом известны уже лет 35 (семейство ML).

Т.е., если сразу взять что-то типа Ocaml'а или SML'я (к 95-му были быстрые реализации), можно было иметь ту же самую гибкость и полный вывод типов в статике. Но индустрия решила пойти по граблям.