А есть языки с сильной, но динамической типизацией. Где рассогласование типов вызывает ошибку времени ИСПОЛНЕНИЯ. [...] Вот они, как раз, пригодны для очень серьёзных проектов.
А как же стоимость исправления ошибки, которая растет экспоненциально по времени?
Ошибка времени компиляции стоит гораздо дешевле. Даже не в деньгах, во времени. Неужели динамическая типизация уменьшает количество ошибок согласования типов, скажем, в 10 раз?