>>310
亀レスだがもう見てないかな？
遅延評価は、以下のようにclosureを使えば出来る。
ttp://d.hatena.ne.jp/sfujiwara/20070513/1179067776

ただし、差分リスト実装のためには、データフロー変数が必要かと。
Ｏｚ言語での例は、以下の通称ガウディ本にあり。
『コンピュータプログラミングの概念・技法・モデル』
(Concepts, Techniques, and Models of Computer Programming)