Никто не спорит что они являются средством уменьшения сложности. Вопрос о "единственном". Более того, лисп никак не имеет монополии на метапрограммирование -- при определённом желании это делается на любом языке.
Я пытаюсь донести другую мысль -- что при внесении изменений в систему наличие статической системы типов является фактически жизненной необходимостью. Потому как 100% покрытия тестами в большом проэкте достичь очень тяжело (даже для line coverage, я уж не говорю о condition coverage). И ещё тяжелее его поддерживать при внесении изменений.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2011-11-02 12:45 am (UTC)Более того, лисп никак не имеет монополии на метапрограммирование -- при определённом желании это делается на любом языке.
Я пытаюсь донести другую мысль -- что при внесении изменений в систему наличие статической системы типов является фактически жизненной необходимостью. Потому как 100% покрытия тестами в большом проэкте достичь очень тяжело (даже для line coverage, я уж не говорю о condition coverage). И ещё тяжелее его поддерживать при внесении изменений.