必要呼び

call by need

外側の関数適用から、引数を式のままパラメータに置換するが、一度評価した式は、結果を覚えておいて二度評価しない

同じ変数から束縛された項はポインタによって共有され，

一度簡約された項をもう一度使用する場合には最初の計算によってキャッシュされた解を利用する

https://gyazo.com/3200f23cb0de2c8206cc05b40e1dcc15/thumb/400#.png

Haskellでそれを実感できるような例はある？

参考