Какие шаги необходимы для оценки внешнего DSL в scala и какие библиотеки для этого доступны?
Покопавшись, я могу создать AST вне классов, используя комбинаторы синтаксического анализатора. Каковы следующие шаги в этом процессе? Я посмотрел на kiama (https://code.google.com/p/kiama/) но из документации кажется неясным (может быть, из-за моих ограниченных знаний в области обработки языка), как поддерживать таблицы символов, как привязывать действия к операторам dsl и т. д.
Я согласен, что было бы хорошо иметь больше документации в стиле учебника для задач обработки общего языка в Kiama. Мы работаем над этим, но пока мне нечего сообщить конкретно.
А пока все, что я могу предложить, — это примеры из дистрибутива Kiama. В частности, пример minijava — достаточно доступный компилятор для нетривиального подмножества Java. Он выполняет анализ имен и типов (см. SemanticAnalysis.scala) и генерирует байт-код JVM. Семантический анализ использует простую модель перехода среды от объявлений к использованию имен. Не стесняйтесь обращаться к нам здесь или в списке рассылки Kiama, если у вас есть конкретные вопросы о том, как работает пример.
Пример Oberon-0 также является полным компилятором с императивного языка на C, включая семантический анализ.
