Личный опыт про динамические языки. Недавно осознал, почему хочу писать именно на Scheme: я могу гораздо быстрее в большой программе переписывать алгоритмы и матмодели. В моей работе это важно.
Ошибки с типами бывают, но они редки по сравнению с ошибками в расчётах и моделях.
Скорость работы Chez и Guile меня устраивает. Они умеют элиминировать проверки во время исполнения (jit-ы всякие и статический анализ). Плюс очень простой ffi к Си, когда надо быстро считать.
Поэтому отдаю им предпочтение.
Думаю ошибочно считать, что языки по годности образуют линейный порядок, порядок частичный, разным людям подходит разное, часто несравнимое.
С ростом команды и кодовой базы, увеличивается значимость явной типизации. Чтение кода становится преобладать над написанием. Экспертиза сужается. Становится важнее удобство навигации по коду и простота рефакторинга.
Чем хорош питон - можно начать писать без типов, и добавлять по потребностям.