Типы тоже дают ложно чувство безопасности, тк основные ошибки все равно в бизнес логики
(если ты конечно не на idris пишешь 😉)
Не дают — у нас же есть тесты несмотря на хорошую типизируемость :) Поэтому я и говорю, что типизация убирает нужду лишь в части тестов, а не абсолютно всех, позволяя сфокусироваться на проблемах бизнес-логики, а не свистоплясках с продуктами-копродуктами