caching - D のメモ化された関数の純度

Question

Dで関数をメモ化するときに純粋さを維持する賢い方法はありますか?

RAM に保持されている大規模なデータセットの SHA1 計算をキャッシュするときに、これが必要です。

Answer 1

D が型システム内で表現できるのは、純粋関数を記憶する非純粋関数です。

概念的には、メモライザーも純粋ですが、型システムはそれを可能にするほど十分に表現力がありません。どこかでカンニングする必要があります。