最左最外簡約
leftmost reduction strategy
名前呼び(call by name)、正規順序(the normal order strategy)とも言う 最も外側(最も左側)の簡約基が最初に簡約される
最も左側の「λ」が処理される
外側の関数適用から順に、引数を式のままパラメータに置換する
引数に書かれた計算式をそのままコピーする
例
$ (\lambda xy.x)(Iu)(I(Iv))を最左最外戦略で評価する
https://gyazo.com/6b9cbf71c5fbdb33571217ebac6a05e2
抽象の内部での簡約を許さない
ので、以下の例では3つ目の簡約の前で停止する
https://gyazo.com/4df126fd780fe1641f714fce818541d4/thumb/300#.png
無駄もある
以下の例ではsquare(2)の計算が二度発生している
https://gyazo.com/116156c1a3b35ce405424a9d2fcb7fc5/thumb/400#.png