■

Haskell を書いてるわけではないんだけど Haskell でメモ化したい関数ってどうするんだろう

OOP言語で書いてて

• 再帰的な計算をする
• 入力に対する計算結果は完全に一定
• 前回結果から次を計算するためのコストが重い
• 呼び出し側が与える実引数は結構ランダム

という条件なので、キャッシュを取って、キャッシュになければ計算して返すクラスを作った

純粋関数型でこれをやろうとするとモナドになったりして面倒臭そう

しかしながら

1. メモ化は単なる最適化なので無限の計算リソースがあれば不要。IOと違い、副作用自体を扱いたいわけではない。最適化の結果として副作用になるだけ。
2. コンパイラに任せて低レイヤーに隠蔽できるならその方がよい。上層レイヤーで関数を書く人間が直接扱うようなものではない。
3. メモ化できるのは参照透過性ゆえなのでむしろ関数の純粋性が保証されてる Haskell とかの方が標準の言語機能として当然のごとく提供できるのでは。

と思ったのですがどうなんでしょう。

Permalink | 記事への反応(2) | 09:01

ツイートシェア