2009-11-28から1日間の記事一覧
http://twitter.com/ranha/status/6103936333 の弁明。 遠回り 先日のメモ化fib関数について色々弄っていたのでその過程の何ソレを書き出してみます。まず大元の定義は at :: ∀a.[a] → Int → a at (a : b) 0 = a at (a : b) (n + 1) = at b n map' :: ∀a b.(…
http://twitter.com/ranha/status/6103936333 の弁明。 遠回り 先日のメモ化fib関数について色々弄っていたのでその過程の何ソレを書き出してみます。まず大元の定義は at :: ∀a.[a] → Int → a at (a : b) 0 = a at (a : b) (n + 1) = at b n map' :: ∀a b.(…