評価戦略
evaluation strategy
ラムダ抽象
をどの様な順番で
β簡約
するか
どの戦略を取るのかによって、
β正規形
に辿り着くまでの効率が全然変わってくる
簡約がループすることもあるので、本来は
β正規形
があったとしても、戦略によっては永遠にたどり着けないこともある
内部簡約
完全β簡約
最右最内簡約
短絡評価
正格評価
最右最内簡約
(値呼び)
非正格評価
遅延評価っぽいやつ
mrsekut.icon
最左簡約
最左最外簡約
(名前呼び)
最左最内簡約
必要呼び
名前呼びをメモ化するやつ
簡約順番の標準化定理
参考
TaPL