とりあえず fundeps で自然数編．続きはあるんですか? まず，おまじないとして {-# LANGUAGE FunctionalDependencies, MultiParamTypeClasses, UndecidableInstances, FlexibleInstances, EmptyDataDecls, ScopedTypeVariables #-} あたりが要る． 自然数の…

元ネタ http://twitter.com/keigoi/status/7828062396 http://okmij.org/ftp/Haskell/PeanoArithm.lhs ようするにこの Inv は何をやっているのかというと，init から limit まで x をイテレートして，x と a に関数 clas を適用したの値と b が等しくなるよ…

http://d.hatena.ne.jp/sakura-1/20100113 このへん見てたしかにこういうのがあると役立つなぁと思ったので． まず始めに，Haskell で文字列を扱う場合は主に String を使い，これは Char のリストになっている． もっと効率的に文字列を扱いたい場合には By…

あけましておめでとうございます． 2009年は Twitter と Haskell にかなりはまった年でした． 今年はまずはアルゴリズムやもっと基礎的な数学の勉強とかを進めていけたらなぁと思います．