jeneshicc https://blog.hatena.ne.jp/jeneshicc/ 落書き、時々落学 https://jeneshicc.hatenadiary.org/ 日記 Haskell MemoTrieのソースを読んで，だいたい理解した． どうやら，内部では Tree を作って，その中に関数の評価値を保持するみたい． まず，全ての入力に対応する出力を Tree の中に保存する．しかし，実際に計算はしない． 遅延評価を利用して，必要になったときだけ評価する．だから， Tree が必要以上に大きくなることはない． 値の読みだしは Tree を探索して，値を見つけたらそれをそのまま返す，未評価ならば，評価． おそらく， Map を利用したメモ化とほとんど同じだが，MemoTrieのほうが 高階関数 っぽい気がする．理解を確かめるために，簡単なMemoを書いてみた． とりあえず，入力… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fjeneshicc.hatenadiary.org%2Fentry%2F20090802%2F1249213463" title="メモ化 @ Haskell - 落書き、時々落学" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-08-02 20:44:23 rich https://jeneshicc.hatenadiary.org/entry/20090802/1249213463 1.0 100%