Но всё равно это не замена статически типизированного языка, вроде
Java, C++ или C#. Последние имеют ещё ряд концепций необходимых для
поддержки типизированного программирования: 1) автоматический
вывода типа выражении и аргументов функций (и собственно
(автоматическое) преобразование типов на данном этапе), 2)
перегрузку функций (и множественные конструкторы у классов, читай
статический полиморфизм), 3) пользовательские операторы конверсии
типов (не в Java...) К чему это. Определять пользовательские типы в питоне скорей лишний раз не захочется, и получится программа в C-стиле (читай типы имеют смысл преимущественно как машинные типы, а смешать килограммы с метрами никто не мешает). Впрочем в C++ не намного лучше.