スモールステップ意味論
from 操作的意味論
small-step semantics
構文を小さなステップで繰り返し簡約する
簡約を繰り返した結果、これ以上簡約できない「値」になる
プログラムを実行する抽象機械には、このステップを実行する反復(iterative)機能が必要
ASTの左を簡約して値にし、右を簡約して値にし、両方とも値になれば計算し、、みたいな感じ
monkey-nimのインタプリタ実装のときのように、swicth文で再帰的に小さく簡約していく感じ。あれそのもの