У меня, кстати, на примере транслятора получилось на 32-битной системе как раз на 42% меньше.

То есть, допустим, есть у нас 64-битный компилятор КП; он генерирует нативные 64-битные инструкции. И есть у него два режима: жадный и скупой: в жадном указатели 64-битные, а в скупом - 32-битные?
И выходит, что можно по желанию одну и ту же программу скомпилировать и жадно, и скупо.

Отлично сформулировано. Но только для Оберон-2(07) сработает.
Для КП\ЧЯ тут проблемы возникают: поскольку параметры компиляции для каждого модуля могут быть различны, то в среде всегда будет часть модулей "скупых" и часть "жадных" что требует: а) согласование вызовов процедур с аргументами-указателями; б) нужно будет два согласованных сборщика мусора.

А расскажите подробнее, пож

Добавил в транслятор вывод кол-ва использованной динамической памяти при использовании с простейшим распределителем памяти без освобождения, и собрал его в 64- и 32-битных режимах. Расходы памяти при трансляции самого себя отличались на 42%. Попробовал, также, собрать в 64-битном режиме с упакованными структурами и без выравнивания выделяемых блоков. Разница с обычным составила 25%.

а как бы объем памяти, который бы понадобился, если бы динамические переменные были неудалимыми. так?

А сборка в 32 и 64 - это Оберон->C->машкод? Т.е. саму сборку посторонние инструменты осуществляют, а не ваш?

А внутри контейнера, среди этих микрообъектов такая сложная логика, что нельзя освобождать явно? Нет простой логики владения?

Сборка мусора обязательна в двух ситуациях:
1) В расширяемой системе, где между компонентами гуляют объекты - и явно контролировать владение, его передачу и т.п. очень сложно (что пробует делать Rust, но статически с глобальным анализом, а не для расширяемых систем. (Читаем классические обоснования у Шиперского в EthOS).
2) Всюду То есть, решающий свою задачу программист не должен думать об освобождении памяти, иначе будет какой-то процент ошибок, и система будет ненадёжной не на логическом уровне, а на уровне недетерминированного повреждения памяти.

А где можно без сборки мусора:
Когда вы пишите замкнутый компонент, с внутренними объектами, с ограниченной логикой, которую можете спокойно верифицировать. А потом уже 1000 раз безопасно использовать 1 раз написанное.

Если одновременно используется две системы - одна, где требуется сборка муссора, и другая , где требуется несколько или очень много циклов использования замкнутого компонента (контейнера)? У вас было упоминание на дне Оберона о вашей системе в этом аспекте - можно привести пример правильного использования, чтобы не было утечки памяти?