Опыт подсказывает, что нет.

Сколько годиков опыта то?

3 только. Но сталкивался уже с кучей багов и за Легаси потери типов. То нул поинтер. То касты. То ещё что то.

А я за 26 лет опыта видел такие примеры, которые не разруливаются типами:
- неуместное применение шаблона проектирования
- неправильный выбор структуры данных
- просто непривильно написанные алгоритмы
- игнормрование ошибок и неучтение вей области определения
- игнорирование принципа разделения ответственноси
- неправильная декомпозиция на функции или классы
- состояния гонки и коррапшен данных в асинхронных и параллельных операциях
- хардкод и софткод
- сильное зацепление кода
и еще 10 страниц такого могу накидать, см. лучше лекции мои про рефакторинг и антипаттерны

И ни одного примера в пользу строгих типов?

Типы решают только детские ошибки

как то ошибки от неясного применения, опечатки всякие и несовпадение интерфейсов

С вашим опытом не поспоришь конечно. Но читал и обратное мнение от людей с сопоставимым с вашим опытом.

А самое плохое в коде - это плохое именование переменных, классов, полей, методов, инстансов, других абстракций, и это ни кто кроме другого человека не определит

Это уже большой плюс от этого избавиться. Плюс более продвинутый рефакторинг с помощью типов на современных ide.

Я бы всех до 10 лет опыта заставлял писать на типах, а потом - только без типов )))

Согласен. Но проектирование через типы или же через тесты способствует понятному интерфейсу.

Я бы тоже. Уважение вам, за ваши труды.

Через тесты - гораздо эффективнее, а еще лучше - через декларативную спецификацию, которая генерирует тесты, мало какие системы типов достаточно развиты, чтобы генерировать тесты из типов

Почитайте про языки λPω и λC, но на них писать - это полный ступор в темпе релизов и убийство TTM

Спс. Я пока разбираюсь с ФП, но базы не хватает, так что тяжеловато. Но потом посмотрю

я недавно посматривал на apl, где задача про поиск максимальной суммы двумерного массива чисел решается в 4 символа)

В эксель тоже встроено много крутой математики

Там solarwinds взломали. Две версии:
1. От New York Times - это все из-за того, что у них установлен TeamCity, а TeamCity принадлежит Jetbrains, а Jetbrains русским
2. От bug bounty ресечера - я ещё в 2019 писал им, что у них на гитхабе пароль solarwinds123