LINUX.ORG.RU

История изменений

Исправление MOPKOBKA, (текущая версия) :

Язык программирования чаще выразительнее чем общий язык, и сразу дает проверяемое, возможно формальное описание, если начинать с контрактов верхнего уровня. Неэффективность блок-схем поняли еще в 60х, и воскресили только для CASE, но он тоже провалился.

Даже твой пример отображает, что человеческое описание не дает дополнительной информации, и длиннее.

Причем чем сложнее, тем значительнее:

предположим, что зарплата минимальна у первого сотрудника по массиву структуры

vs

set<Employee, SalaryCmp>

Исправление MOPKOBKA, :

Язык программирования чаще выразительнее чем общий язык, и сразу дает проверяемое, возможно формальное описание, если начинать с контрактов верхнего уровня. Неэффективность блок-схем поняли еще в 60х, и воскресили только для CASE, но он тоже провалился.

Исправление MOPKOBKA, :

Язык программирования чаще выразительнее чем общий язык, и сразу дает проверяемое, формальное описание, если начинать с контрактов верхнего уровня. Неэффективность блок-схем поняли еще в 60х, и воскресили только для CASE, но он тоже провалился.

Исходная версия MOPKOBKA, :

Язык программирования чаще выразительнее чем общий язык, и сразу дает проверяемое, формальное описание, если начинать с контрактов верхнего уровня. Неэффективность блок-схем поняли еще в 60х.