評価戦略
evaluation strategy
先行評価
-
遅延評価
-
部分評価
-
短絡評価
β正規形(Beta normal form)
ラムダ計算
(
Lambda calculus
)
引数
(
Parameter
)
Eval()
/mrsekut-p/評価戦略
評価戦略 - Wikipedia
Evaluation strategy - Wikipedia