メモリリークの話はHaskellスレでもやってたね。メモ化じゃなくて遅延評価だけど。