Memo

Memo

メモ化！

恒例のフィボナッチ数列を書いてみる。


メモ化してみる。


m(fib)はMemo#applyが呼ばれ、メモ化された関数が返ります。
!fibはFunction1Wに暗黙の型変換され、unary_!が呼ばれています。
unary_!は暗黙のパラメータでMemoをとり、メモ化します。

実装をメモ化する。


Memoには標準でいくつかの実装が用意されおり、Memosに定義されています。

memo関数により自分で定義することもできます。