Как скомпилировать для Erlang VM

Question

Я пытаюсь реализовать небольшой язык описания для пользовательских сценариев в приложении. В основном пользователи описывают, как объекты создаются из других объектов. (Не совсем язык программирования). Я мог бы использовать JSON (но это было бы более подробным).

Я использую leex и yecc, и у меня есть приличное дерево синтаксического разбора. Скажите, что это что-то вроде этого:

{def,double, %% function name double 
    [{x}],  %% list of input names 
    %% return expression, in this case {Operator, Operand1, Operand2} 
    {'*',{var,x},{number,2}} 
}. 

С помощью этого дерева, я хотел бы построить что-то вроде этого:

double(State) -> 
    _Var1 = some_app:get_input(State,x), 
    _Var1 * 2. 

Но я не знаю, с чего начать. Я могу прочитать дерево во время выполнения и строить забавы, но я действительно хочу научиться компилировать (и надеяться на лучшую производительность).

Должен ли я преобразовать дерево разбора в Erlang AST, а затем скомпилировать модуль erlang?

Спасибо.

Answer 1

Итак, классический рабочий процесс заключается в следующем:

1. Определение маркеров и построить лексер с leex
2. Определением грамматики и построить синтаксический анализатор с yecc
3. разметить исходный код с лексером
4. Построение дерева синтаксического анализа с помощью синтаксического анализатора, подаваемого с токенами
5. Создание модуля форм эрлангов с сердечником cerl
6. Скомпилированные формы с модулем compile. Это может дать бинарники луч для загрузки в виде модуля или создать файл .beam

В качестве альтернативы leex/yecc (LALR парсер), мы можем использовать neotoma, который работает с ПЭГ грамматик. Это зависит от того, что вам нужно проанализировать. Там мне нужна левая рекурсия и я не хочу обрабатывать пробелы.

В качестве цели EVM (BEAM) кажется довольно простым. Компиляция заканчивается, чтобы просто перевести с одного языка на другой, а Core Erlang - очень простой язык, но все же выразительный.