8. Проектирование с помощью типов: Заключение

[rukhi7]

Код «до»

Код «после»

а где проектирование-то?

Уф! Новый код гораздо, гораздо длиннее оригинального.

Новый код явно выражает намерения разработчика

может надо было назвать: "Как писать больше кода, чтобы он явно выражал намерения разработчика." ?

Вроде как это очевидно что чем больше написано, тем более явно будут выражены намерения, теоретически! Опасность в том, что больше писать обычно помогает копи-паст, здесь точно не используется копи-паст? Если кода можно написать меньше (заведомо), всегда есть подозрение что где-то злоупотребили копи-пастом.

[markshevchenko]

Мне кажется, вы не читали предыдущие части, реагируете только на эту. Весь этот цикл про проектирование. Даже не знаю, что написать в ответ. В комментарии пересказать содержание предыдущих семи частей? Было бы странно.