M>>А потом дебажить типы, когда логика закодирована неправильно
DM>Да, а что в этом плохого? Особенно, когда и до дебага-то не доходит, т.к. проблемы уже на стадии компиляции прояаляются.

С какого перепуга они вылезут на этапе компиляции? Также см. http://rsdn.ru/forum/philosophy/5942556

Автор: Mamut
Дата: 03.02.15