История изменений
Исправление Manhunt, (текущая версия) :
Ну, например, специфицировали функцию сортировки - и теперь компилятор не даст написать функцию, которая вместо сортировки делает что-то другое.
Неплохой пример. Одно дело — описать, что нужно получить в результате сортировки (это спецификация абстрактной сортировки, которая нужна потребителям отсортированных данных), и другое дело — описать, что нужно сделать делать, чтобы получить желанный результат (это реализация конкретного алгоритма). Если ты попробуешь использовать в качестве спецификации одну из реализаций (например, сортировку слиянием), то тем самым необоснованно исключишь возможность в дальнейшем перейти на другие способы сортировки (например, на квиксорт).
Исправление Manhunt, :
Ну, например, специфицировали функцию сортировки - и теперь компилятор не даст написать функцию, которая вместо сортировки делает что-то другое.
Неплохой пример. Одно дело — описать, что нужно получить в результате сортировки (это спецификация абстрактной сортировки), и другое дело — описать, что нужно сделать делать, чтобы получить желанный результат (это реализация конкретного алгоритма). Если ты попробуешь использовать в качестве спецификации одну из реализаций (например, сортировку слиянием), то тем самым необоснованно исключишь возможность в дальнейшем перейти на другие способы сортировки (например, на квиксорт).
Исправление Manhunt, :
Ну, например, специфицировали функцию сортировки - и теперь компилятор не даст написать функцию, которая вместо сортировки делает что-то другое.
Неплохой пример. Одно дело — описать, что нужно получить в результате сортировки (это спецификация абстрактной сортировки), и другое дело — описать, что нужно сделать делать, чтобы получить желанный результат (это конкретная реализация). Если ты попробуешь использовать в качестве спецификации одну из реализаций (например, сортировку слиянием), то тем самым необоснованно исключишь возможность в дальнейшем перейти на другие способы сортировки (например, на квиксорт).
Исправление Manhunt, :
Ну, например, специфицировали функцию сортировки - и теперь компилятор не даст написать функцию, которая вместо сортировки делает что-то другое.
Неплохой пример. Одно дело — описать, что нужно получить в результате сортировки (это спецификация), и другое дело — описать, что нужно сделать делать, чтобы получить желанный результат (это реализация). Если ты попробуешь использовать в качестве спецификации одну из реализаций (например, сортировку слиянием), то тем самым необоснованно исключишь возможность в дальнейшем перейти на другие способы сортировки (например, на квиксорт).
Исходная версия Manhunt, :
Ну, например, специфицировали функцию сортировки - и теперь компилятор не даст написать функцию, которая вместо сортировки делает что-то другое.
Неплохой пример. Одно дело — описать, что нужно получить в результате сортировки (это спецификация), и другое дело — описать, что нужно сделать делать, чтобы получить желанный результат (это реализация). Если ты попробуешь использовать в качестве спецификации одну из реализаций (например, сортировку слиянием), то тем самым необоснованно исключишь возможность в дальнейшем перейти на другие способы сортировки (например, квиксорт).