構文木1ステップすすめるインタープリタを作成する

[kirisaki]

概要

構文木を1ステップ簡約し、変数を値に変換する。 四則演算を組み込み関数とし、計算ができるようにする。

目的

そもそもプロジェクトの目的に関わる。

背景

同上

要求事項

interp-typesができている

想定される問題

実装手順

nラムダ計算を書く

他の手段

関連リンク