最右最内簡約
値呼び
(
call by value strategy
)とも言う
最も右側の簡約基を簡約する
が、右側がすでに値に簡約されている簡約基だけを簡約する
https://gyazo.com/cde270b43d1a5fa5b49ce07e4c4ab4c6/thumb/300#.png
実引数を最初に
β正規形
に変換してから関数適用する
例
https://gyazo.com/9aeccebeda10838592a931da21ba7b23/thumb/300#.png
正格評価
結局使わないものも計算してしまう
OCaml
とか
https://elpinal.gitlab.io/publications/polarity_evaluation_order.pdf