> Про компиляцию Лиспа в настоящий машинный код. Ну есть из ста Лиспов парочка, которая умеет, хоть это слава богу. А какой там код? Явно не складывающий "ненастоящие" числа одной машинной командой? На что я и обратил Ваше внимание.

Вы ещё здесь забыли сказать "я ошибся и написал вообще неверную информацию о том, что лисп - это виртуальная машина". Хотя конечно можно и в такой форме признать, что Вы поработали над одной ошибкой, но не над всеми. Да, вообще говоря common lisp не складывает числа одной машинной командой, и можно про это закончить. Тема была не про это, а про упрощение Оберона, и мне неинтересно с Вами дальше обсуждать числа, тем более здесь. Продолжим работу над ошибками. Даже не будем дальше разбираться в том, что такое для Вас "настоящий" или "ненастоящий" код. Очевидно, что к вопросу о простоте Оберона это никакого отношения не имеет, ну разве только вот какое. Чем выше оптимизирован код, тем сложнее его сгенерировать, поэтому до кода, сделанного простым компилятором, всегда можно докопаться. Значит, истинный Оберон не может генерировать "идеальный машинный код", а Ofront+, если уж есть желание походить по чьим-то мозолям, не является идейно истинным Обероном, т.к. не самодостаточен. SBCL к простым компиляторам не относится и он пытается генерировать максимально хороший код. С учётом динамической типизированности Common Lisp это возможно не всегда. GCC - тоже не простой компилятор. Код конкретно сложения ненастоящих чисел я уже показал выше, можете посмотреть, но мне неинтересно, считаете ли Вы его настоящим или нет. Я отреагировал на тему про упрощение Оберона, а понятно же, что простота и эффективность мешают друг другу, если мы говорим не только о простоте языка, но и простоте его реализации. В случае Оберона мы о ней говорим всегда по умолчанию, иное требует оговорок. Но я вижу, что Вы уже как минимум вышли из своего неверного мнения о том, что лисп - это обязательно виртуальная машина, и даже написали это признание там же, где раньше написали неправду. Молодец.

> Хотя, Вы видите, мы и термин "мелкие машины" с Вами понимаем по-разному

Прошу уточнить, что же я понимаю под мелкими машинами и на каком основании Вы это решили.