Type Driven Development на практике

Разработка через типы (Type-Driven Development, TDD) — это методология программирования, при которой вы начинаете с написания определений типов, которые служат точной спецификацией вашей программы. Вместо того чтобы сначала писать код, а потом добавлять тесты или типы, вы используете компилятор как интерактивного ассистента, который направляет вас к созданию программы, удовлетворяющей заданным типам.
Idris — это чистый функциональный язык программирования, созданный Эдвином Брэди, который идеально подходит для этого подхода благодаря поддержке зависимых типов.
Но попробуем использовать его идеи на практике вне Idris. Попробуем сравнить такие метрики как1. Время проектирования (момент, после которого разработчик может больше не соприкасаться с предметной областью, а руководствоваться только ТЗ)2. Время до выкатки на прод3. Частота ошибок на проде (и как следствие, ущерб бизнесу и затраты на сопровождение)
Читать далее

https://habr.com/ru/articles/919268/?utm_campaign=919268&utm_source=habrahabr&utm_medium=rss