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