最外簡約。

引数よりも先に、外側の関数から評価を進めること。

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