f の遅延された下向きの値を設定して評価する：

ニュートン法で平方根を計算する手続きを定義して適用する：

必要に応じて計算を実行し結果をキャッシュする：

これがキャッシュされたことを確認する：

名前呼び出し(call-by-name)の動作は，ホールドされた引数を使った未評価式に対する定義で実装することができる：

x に大域的な値を与える：

次に f を評価する．これで x の新しい値が設定される：

グローバル変数は確かに変更されている：

即時的定義の右辺は定義が行われたときに評価される：

対照的に，遅延的定義の右辺は定義が使われるたびに評価される：

定義の左辺の引数は定義が行われる前に評価される：

同じ左辺の定義はそれより前のものを上書きする：

必要に応じて，パターン変数はネストしたスコープの内側で名前を変えられる：

したがって，入力はパターン変数に一致するが，定義の右辺にある変数はそれに一致しない：

遅延的割当ては大域変数に影響されないスコープを導入する：

即時的割当てはスコープを導入しない：

規則を使って特定の式の変換をする：

定義を使ってgを含むすべての式を自動的に変換する：

より特殊な定義はより一般的な定義の前に置かれる：

これらの定義を使って f[10]を評価する：

Definitionは記号に関連する定義を出力する：

Informationは，定義を含む記号のさまざまな情報を出力する：

DownValuesは，定義された任意の下向きの値に対応する規則のリストを返す：

f に特殊定義と一般定義の両方を与える：

Unset (=.)を使って特定の左辺を持つ定義を除去する：

一般定義だけが残っていることを確認する：

任意の定義を除去する．属性は除去しない：

ClearAllを使って属性も除去する：

_を除くことで，関数についてではなくリテラル値についてのみの変換を定義する：

式を評価する：

遅延的定義を使うと予期せぬ結果になることがある：

実際に行われた定義とその動作：

評価は単に直前の評価の結果にリセットされる：

後続の使用のために，再度式を評価する：

Evaluateを使って右辺の評価を強制する：

評価が期待通りに行われることを確認する：

後続の使用のために，再度式を評価する：

あるいは，Setを使って右辺の評価を強制する：

定義をチェックする：

これを使って評価を行う：

反復的な暴走定義：

基底ケースを与えると反復が止まる：

再帰的な暴走定義：

底を与えると反復が終了する：

フィボナッチ(Fibonacci)数列の動的プログラミング：

5で評価する：

計算中に前の評価に新たな定義が加えられた：