スペースリーク、その傾向と対策

スペースリークの傾向とその対策を見ていきます。 ここでは3つのパターンを取り上げます。他のパターンがまだ見つかりそうな気がしているので、気がついた方は是非記事を書いてください。 注意事項 「サンクを積む」という表現を多用していますが、「関数適用によってサンクを大きくする」と言った意味合いで使っています。多分に誤用なので外では使わない方がいいと思います（と思ったらそういう表現を使うこともあるそうです） 以前の記事もそうですが、「簡約」は「評価」に統一してます 基本方針 追記: 正格評価 無限ループをしない 必要ない式は評価しない 遅延評価 無限ループをしない 必要ある式はサンクを積まない サンクの必要とする空間と、潰した後の空間 サンクは必ずしも悪いものではありません。非常に大きなサンクの場合とそれを潰した場合に、どちらがメモリを消費するかは一概には言えないのです。 少し違いますが、わかりや

[Magicant]

かういふの見てるとスペースリークを論理的に考察したくなってくる

[igrep]

“別にupdate関数自体がstrictに適用されるわけではないのです。それはライブラリの出来る範囲を超えます。なので、以下のようにupdateの塊の様なサンクは発生してしまう”ムズい (>_<)

[ruicc]

6日目です（適当）