from 操作的意味論

構文を小さなステップで繰り返し簡約する

簡約を繰り返した結果、これ以上簡約できない「値」になる

プログラムを実行する抽象機械には、このステップを実行する反復(iterative)機能が必要

ASTの左を簡約して値にし、右を簡約して値にし、両方とも値になれば計算し、、みたいな感じ

monkey-nimのインタプリタ実装のときのように、swicth文で再帰的に小さく簡約していく感じ。あれそのもの