[プログラミング言語の作り方] グローバル変数、代入、変数参照(=)に対応を作る

グローバル変数、代入、変数参照に対応する。変数に型はないので、整数、実数、文字列が代入できる。
変数を宣言しないと、変数定義される。代入演算子としてイコール(=)を導入する。
変数を使ったら、変数に格納されている値を参照できるようにする。

言語仕様
– 文字列
– 整数123, 実数123.4
– グローバル変数、変数の値の参照
– 代入演算子(=)
– print関数でカンマ区切りで複数の引数指定
– 複数文は、セミコロンで区切る
– // から行末まではコメント

### source.3

a = b = 3;

msg = "a=";

print(msg, a, ", b=", b);

### parser.js
代入演算子(=)を扱うため、assign関数を導入
代入演算子(=)は右結合のため、right側がcommaになっている。a = (b = 1)

module.exports = parser;
var {expect, accept, show, error} = require("./utils.js");

var tokens;

function parser(t){
    tokens = t;
    var ast = semi();
    if(tokens.length>0){
        show("ast=", ast);
        show("処理後tokens =", tokens);
        error("tokensが余っています。");
    }
    return ast;
}

function value(){
    if(tokens.length == 0) return;
    return tokens.shift();
}

function funccall(){
    var left = value();

    var op;
    while(op = accept(tokens, "(")){
        var right = comma();
        op += expect(tokens, ")");

        left = {left, op, right};
    }
    return left;
}

function assign(){
    var left = funccall();

    var op;
    while(op = accept(tokens, "=")){
        var right = comma();
        left = {left, op, right};
    }
    return left;
}

function comma(){
    var left = assign();

    var op;
    while(op = accept(tokens,",")){
        var right = assign();
        left = {left, op, right};
    }
    return left;
}

function semi(){
    var left = comma();

    var op;
    while(op = accept(tokens, ";")){
        var right = comma();
        left = {left, op, right};
    }
    return left;
}


a = b = 3 は、[a, '=', [b, '=', 3]] となる

### run.js
globalを作り、代入演算子の場合、globalオブジェクトに変数名をキーに値を格納する

const { error } = require("./utils");

module.exports = run;

var global = {};

function run(a){
    if(!a) return;
    if(!a.op){
        if(a[0] == '"') return a.substr(1, a.length-2);
        if(/\d/.test(a[0])) return 1*a;
        if(global.hasOwnProperty(a)) return global[a];
        return a;
    } else if (a.op==";"){
        run(a.left);
        run(a.right);
    } else if (a.op==","){
        return [run(a.left), run(a.right)].flat();
    } else if (a.op=="="){
        return global[run(a.left)] = run(a.right);
    } else if(a.op == "()") {
        var func = run(a.left);
        if(func == "print"){
            var msg = [run(a.right)].flat().join("");
            console.log(msg);
        } else {
            error("未実装の関数呼び出し func=", func);
        } 
    } else {
        error("未実装の演算子 op=", a.op)
    }
} 

変数の代入の場合は、"="で宣言したタイミングで、グローバル変数としてkey & valueで持っていて、keyが表示されたタイミングで valueを代入している。

ということはjavaのpublic, privateなども変数の持ち方を制限しているのかな。
"=" だけであれば、leftとrightに分けられるから比較的簡単か。これに"=>" "=<"などが増えた場合にどうなるかは興味深いね。