遅延評価
最外簡約。
引数よりも先に、外側の関数から評価を進めること。
lazy evaluation、delayed evaluation
評価戦略（evaluation strategy） -- 先行評価（eager evaluation） - 短絡評価（short-circuit evaluation） - 部分評価（partial evaluation）
先読み
組み合わせ論理、コンビネータ論理（combinatory logic）
カリー化（currying）
データフロー（data flow）
関数型プログラミング（functional programming）
Futures and promises
Graph reduction
Incremental computing – a related concept whereby computations are only repeated if their inputs change. May be combined with lazy evaluation.
λ計算、ラムダ計算（lambda calculus）
Lazy initialization
Lookahead
Non-strict programming language
Normal order evaluation
遅延評価 - Wikipedia
Lazy evaluation - Wikipedia