Ответ: Ну вот...И Вы про оптимизацию {как и SM}...Да забудьте Вы про неё - не о ней ведь речь...НИРАЗУ..Я говорю про новые способы описания свойств алгоритма на более высоком абстрактном уровне с целью возможности обнаружения не только простейших синтаксических ошибок {как это есть в C++} но и логических и алгоритмических..Ну ладно..Раз я "изобретаю колесо" скажите как реализован в C++ оператор "если А БЫЛО равно 7, то..." без нагрузки на программера?...Или оператор "F
Ответ: Ну вот...И Вы про оптимизацию {как и SM}...Да забудьте Вы про неё - не о ней ведь речь...НИРАЗУ..Я говорю про новые способы описания свойств алгоритма на более высоком абстрактном уровне с целью возможности обнаружения не только простейших синтаксических ошибок {как это есть в C++} но и логических и алгоритмических..Ну ладно..Раз я "изобретаю колесо" скажите как реализован в C++ оператор "если А БЫЛО равно 7, то..." без нагрузки на программера?...Или оператор "F может быть равным D или G"?