ラムダ抽象をどの様な順番でβ簡約するか

どの戦略を取るのかによって、β正規形に辿り着くまでの効率が全然変わってくる

簡約がループすることもあるので、本来はβ正規形があったとしても、戦略によっては永遠にたどり着けないこともある

最右最内簡約(値呼び)

遅延評価っぽいやつ

最左最外簡約(名前呼び)

名前呼びをメモ化するやつ

参考