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