Этот раздел хочется завершить несколько неожиданным выводом. Наличие в
компиляторе двух базовых структур — семантических таблиц и дерева программы — сейчас расценивается нами как один из самых серьезных недостатков компилятора.
Эти структуры реализованы на различных принципах, работа с ними организована
по-разному, однако они существуют вместе, пронизаны взаимными ссылками (можно
сказать, переплетены, как корни растущих рядом деревьев) и в некоторых случаях
просто дублируют друг друга. Сходная информация о структуре программы
присутствует и в таблицах, и в дереве, что долго приводило к путанице, и сейчас
выглядит довольно нелепо. Например, в дереве имеются узлы, соответствующие
объявлениям; это естественно, так как образы объявлений могут попадать в
результирующий код. Что же касается таблиц, то они как раз и составлены на
основе информации, извлеченной из объявлений. Поэтому в узлах-объявлениях
содержится ссылка на соответствующее слово в таблицах. Семантическое слово, в
свою очередь, имеет обратную ссылку на узел "своего" объявления, которая в ряде
случаев оказалась необходимой. Инициализатор переменной из объявления
представляется поддеревом, на которое имеются ссылки как из узла-объявления,
так и из семантического слова. И так далее… Все это работает и даже вполне
эффективно, но, конечно, с точки зрения программного дизайна весьма далеко от
совершенства.
Описанное построение компилятора свидетельствует о нашем честном следовании
классическим образцам, а также… о нашей боязни отойти от этих образцов. Даже
подступая к языку, который заведомо отличался от "правильно" построенных,
элегантных и простых языков, хорошо подходящих для книжного описания базовых
концепций и методов компиляции, мы преувеличили степень универсальности
решений, предлагаемых в подобных книгах.
Теперь мы это хорошо понимаем. В следующей версии компилятора все будет сделано
по-другому.
Лебедь, рак и щука, или Гадкий утенок
Мой коллега и товарищ, Саша Кротов, вдвоем пару с которым мы, собственно, и
сделали практически всю работу, имеет прекрасное образование (по моим
наблюдениям, выпускники мехмата зачастую имеют более высокую программистскую
квалификацию, чем окончившие ВМК — да простят меня мои однокашники!). Несмотря
на естественное для его возраста отсутствие опыта крупных разработок, он
поразительно быстро "въехал" в проект и вообще в проблемную область и очень
скоро стал совершенно равноправным его участником. К этому времени он вполне
осознал, насколько интереснее программировать компиляторы, чем наполнять базы
данных, рисовать на экране вертящиеся фигуры или писать байты в порт и ожидать
их оттуда.
