Ну во-первых, "фишка" - это нечто сугубо технарское.
А если это нечто отображает какую-то реальность (например, моделирования процессов) - с чего я и начал, говоря о различных видах декомпозиции процессов, - то термин "фишка" уже некорректен.
ANDTHEN сильно похож на фишку, действительно, потому что это только некий набросок, фиксация проблемы была. А не предложение чего-то вводить.
Касательно умных компиляторов.
Вы почему-то недооцениваете качество решений, там применяющихся. Неоднократно ругались "вот, не додумывают". Ни фига се не додумывают - та же новосибирская школа, посмотрите, какой путь пройден... Просто это объективно очень сложные задачи, упирающиеся, ну хотя бы, в потолок экспоненциальной сложности некоторых алгоритмов и проч.
И вообще, путь увеличения "умности" трансляторов дальше всего пройден, видимо, в СУБД. К чему это приводит, можно наблюдать по Ораклу. Весьма зыбкая почва, для продвижения по которой нужно подкручивать кучу ручек - подсказок - опций... Потому что машина думать не умеет, и если нет способа сказать ей явно, что делать (если это запрещено идеологией того же декларативного подхода), то приходится выкручиваться и "намекать". Каждый раз нет никакой уверенности, что намёки будут правильно поняты. А как быть с разными реализациями и их "разным умом", который может совсем по-разному догадываться?
Это - общая проблема, когда машина нацеливается на решение нечётких задач. Либо устроено "тупо", но имеем важнейшее преимущество машины - исполнительность (мы всегда уверены, что нас машина понимает однозначно), либо устроено "интеллектуально", но возникает типичная проблема коммуникации с исполнителем (доведения того, что нужно точно сделать, да ещё потом контроля, правильно ли это было понято).
Поэтому никакого прогресса в "интеллектуальности" нет; это разные подходы, между которыми всегда будет выбор.
Интеллектуальность требуется там, где у человека нет возможности принимать решение (в силу объёмного фактора - много информации, либо в силу временного - решение требуется мгновенно, либо в силу автономности технической системы).
Инструментарий никак не относится к той нише, где следует выбирать интеллектуальность (жертвуя плюсами "тупой исполнительности"). Ни по одному из трёх признаков.
|
