История изменений
Исправление Manhunt, (текущая версия) :
А кто будет проверять спецификацию тогда? Ведь она в данном случае не проще кода
Проще. За счет того, что спецификация описывает абстракцию, а не детали того, как абстракция реализована.
сам код является спецификацией
Нет. Код содержит очень много подробностей, которые нужны для выбранного частного способа абстракцию реализовать, и которые на уровне спецификации абсолютно не интересны. По этой причине код нельзя использовать в качестве спецификации.
Исправление Manhunt, :
А кто будет проверять спецификацию тогда? Ведь она в данном случае не проще кода
Проще. За счет того, что спецификация описывает абстракцию, а не детали того, как абстракция реализована.
сам код является спецификацией
Нет. Код содержит очень много подробностей, которые нужны для выбранного частного способа абстракцию реализовать, и которые на уровне спецификации абсолютно не интересны. По этой же причине код нельзя использовать в качестве спецификации.
Исправление Manhunt, :
А кто будет проверять спецификацию тогда? Ведь она в данном случае не проще кода
Проще. За счет того, что спецификация описывает абстракцию, а не детали того, как абстракция реализована.
сам код является спецификацией
Нет. Код содержит очень много подробностей, которые нужны для выбранного частного способа абстракцию реализовать, и которые на уровне спецификации абсолютно не интересны.
Исправление Manhunt, :
А кто будет проверять спецификацию тогда? Ведь она в данном случае не проще кода
Проще. За счет того, что спецификация описывает абстракцию, а не детали того, как абстракция реализована.
сам код является спецификацией
Нет. Код содержит очень много подробностей которые нужны для выбранного частного способа абстракцию реализовать, и которые на уровне спецификации абсолютно не интересны.
Исправление Manhunt, :
А кто будет проверять спецификацию тогда? Ведь она в данном случае не проще кода
Проще. За счет того, что спецификация описывает абстракцию, а не детали того, как абстракция реализована.
сам код является спецификацией
Нет. Код содержит очень много подробностей, которые на уровне спецификации абсолютно не интересны.
Исправление Manhunt, :
А кто будет проверять спецификацию тогда? Ведь она в данном случае не проще кода
Проще. Спецификация описывает абстракцию, а не детали того, как абстракция реализована.
сам код является спецификацией
Нет. Код содержит очень много подробностей, которые на уровне спецификации абсолютно не интересны.
Исходная версия Manhunt, :
А кто будет проверять спецификацию тогда? Ведь она в данном случае не проще кода
Она проще, т.к. спецификация описывает абстракцию, а не детали того, как абстракция реализована.
сам код является спецификацией
Нет. Код содержит очень много подробностей, которые на уровне спецификации абсолютно не интересны.