処理系設計

この章では、言語仕様を実装するための処理系モデルを定義する。言語仕様そのものは Language Specification に置き、この章では AST interpreter、遅延評価、thunk、runtime value、materialize の実装方針を扱う。

方針

初期処理系は AST interpreter として実装する。 bytecode VM や JIT ではなく、AST を demand-driven に評価することで、遅延評価、循環参照、default、&、// の意味論を小さく実装する。