Для меня, идеальное окружение разработки выглядит так. Если мой кот пройдется по клаве и это можно закоммитить, то это можно смело катить в прод.
Для этого нужно наложить массу ограничений на то, что можно коммитить. Типы - одно из них. В той же шеренге стоят линеры, юнит тесты, интеграционные тесты, аудиты, e2e тесты, и что еще можно придумать.
Причем типы и линтнг - это пехота в этой обороне. Самая дешевое средство и находящее самое большое количество косяков.
А если заменить кота на интерна, который 2-ой день на работе? То каждый работодатель должен требовать от проекта построения такого окружения. Мне кажется хороший поинт, чтобы продать бизнесу подобные нефункциональные доработки ;)