引数をホールドする関数に変数値を代入する

変数xを参照する，ホールドされた式を定義する：

Wolfram Language code:

x = 2;
e = Hold[x + 1]

HoldはHoldAllの属性を持つので，ホールドされた式が定義される際にはxは評価されない．したがって，式のボディは大域変数xを参照する．xの値が返されるのは，Holdが解放されたときである：

Wolfram Language code:

x = 4;
ReleaseHold[e]

式が定義される際に，強制的にxを評価させるためには，Withを使う：

こうすると，xの値を変更しても，Holdを解放したときに返される値には影響しない：

Wolfram Language code:

x = 4;
ReleaseHold[e]

注釈

この方法は，HoldAll，HoldFirst，HoldRest，HoldAllCompleteのいずれかの属性を持つ任意の関数に（例えば，Functionそのものにも）適用できる：

Wolfram Language code:

x = 2;
Function[y, x + y]

Wolfram Language code:

x = 2;
With[{x = x}, Function[y, x + y]]

ホールドされた引数で，Evaluateを使って変数の値で変数を解くことができるが，引数の最上レベルに使われた場合にのみ可能である．以下を比べてみるとよい：

Top