Oberon space

Про внутреннее представление. Сначала строится дерево разбора, если компляция прошла успешно, то по дереву разбора генерируется код.
Про оптимизацию. Фактически оптимизации нет, код генерируется наиболее прямолинейным способом. В дальнейшем, возможно, будут некоторые оптимизации.
Про пример. Да было желание продемонстрировать работу с динамическими массивами. Если динамическая память не используется, то Memory можно не компилировать и удалить его из prj файла, чтобы он не включался. Более того, можно не включать файл Kernel, но если произойдет прерывание работы программы, то никакой информации не будет. А модуль Kernel производит раскрутку стека и выводит информацию о процедурах, в которых произошла ошибка, в файл error.log.

Сложно будет сделать этот AST стандартизированным, чтобы он удовлетворял потребностям разных людей. С другой стороны, многим ли людям он сейчас нужен, возможно, что если у человека возникнет такая потребность, он достаточно быстро сам это реализует.

1) Компилятор не ругается на использование неинициализированных переменных.
Это затрудняет отладку программ.

Вообще-то это не является ошибкой с точки зрения компилятора. Согласен, что было бы хорошо выдавать warning, при этом. По сути, этим должен заниматься статический анализатор, который будет статически искать ошибки.
Для C++, существует статический анализатор Lint, который анализирует около 1000 разных ошибочных ситуаций и выдает предупреждения. Было бы хорошо, если кто-нибудь дал ссылку на книгу или сайт, где описывается как можно сделать статический анализатор. Насчет данного конкретного случая, можно просто решить, но затем может появиться другая ситуация, которую тоже надо будет отлавливать, поэтому я хочу решить эту проблему как можно в более общем случае, как это сделано в программе Lint.

Документ обновил.

Выложил описание компилятора: http://exaprog.com/userguide.pdf

Цитата: Rifat

Появился новый компилятор для языка программирования Oberon-07M. "M" означает, что язык разширен, в частности разрешены одномерные динамические массивы. 

Благодарю за приятную новость о выпуске Вашего компилятора! 

Раз язык изменился, то должно быть новое описалово. Планируется ли его публикация?
Не могли бы Вы по пунктам перечислить здесь все новшества, с короткими комментариями.

Описание изменений планируется в ближайшие несколько дней. Когда будет готово, файл будет выложен на сайте.

Цитата: Rifat от Март 21, 2011, 09:52:29 am

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

На самом деле можно и без них. Например см. http://en.wikipedia.org/wiki/VList
Ясно что нам для реализации VList'a произвольного размера потребуется 32 типа массивов фиксированного размера оберона-07.

Еще одним аргументом в пользу динамических массивов было то, что некоторые WinApi функции требуют передачи им указателя на массив, размер которого в общем случае не известен.

Однопоточность это печально… Ну да ладно.
И еще вопрос по разработке компилятора – есть ли у набор компиляторных тестов?

У меня есть свои тесты на которых я тестировал, но выложить их пока не могу, их надо еще причёсывать.