先行評価
eager evaluation
グラフ還元
(
graph reduction
)
遅延評価
(
lazy evaluation
、
delayed evaluation
)、
短絡評価
(
short-circuit evaluation
)、
部分評価
評価戦略
(
evaluation strategy
)
先行評価 - Wikipedia
Eager evaluation - Wikipedia