p8、P9 正規順序の評価 = 最外簡約(call by name) ≒ 必要簡約(call by need) 作用的順序の評価 = 最内簡約(call by value) かな。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。