Специальные формы.

Объект specialForms используется для определения особого синтаксиса Egg. Он сопоставляет слова с функциями, интерпретирующими эти специальные формы. Пока он пуст. Давайте добавим несколько форм.

SpecialForms["if"] = function(args, env) {

If (args.length != 3).

Throw new SyntaxError("Неправильное количество аргументов для if");

If (evaluate(args[0], env) !== false).

Return evaluate(args[1], env);

Else.

Return evaluate(args[2], env);

};

Конструкция if языка Egg ждёт три аргумента. Она вычисляет первый, и если результат не false, вычисляет второй. В ином случае вычисляет третий. Этот if больше похож на тернарный оператор ?:. Это выражение, а не инструкция, и она выдаёт значение, а именно, результат второго или третьего выражения.

Egg отличается от JavaScript тем, как он обрабатывает условие if. Он не будет считать ноль или пустую строку за false.

If представлено в виде особой формы а не обычной функции, потому что аргументы функций вычисляются перед вызовом, а if должен интерпретировать один из двух аргументов – второй или третий, в зависимости от значения первого.

Форма для while схожая.

SpecialForms["while"] = function(args, env) {

If (args.length != 2).

Throw new SyntaxError("Неправильное количество аргументов для while");

While (evaluate(args[0], env) !== false).

Evaluate(args[1], env);

// Поскольку undefined не задано в Egg,

// за отсутствием осмысленного результата возвращаем false.

Return false;

};

Ещё одна основная часть языка – do, выполняющий все аргументы сверху вниз. Его значение – это значение, выдаваемое последним аргументом.

SpecialForms["do"] = function(args, env) {

Var value = false;

Args.forEach(function(arg) {

Value = evaluate(arg, env);

});

Return value;

};

Чтобы создавать переменные и давать им значения, мы создаём форму define. Она ожидает word в качестве первого аргумента, и выражение, производящее значение, которое надо присвоить этому слову в качестве второго. define, как и всё, является выражением, поэтому оно должно возвращать значение. Пусть оно возвращает присвоенное значение (прямо как оператор = в JavaScript).

SpecialForms["define"] = function(args, env) {

If (args.length != 2 || args[0].type != "word").

Throw new SyntaxError("Bad use of define");

Var value = evaluate(args[1], env);

Env[args[0].name] = value;

Return value;

};