{-# LANGUAGE MultiParamTypeClasses, TypeFamilies, FlexibleInstances #-} data Zero = Zero data Succ n = Succ n _0 = Zero _1 = Succ _0 _2 = Succ _1 _3 = Succ _2 _4 = Succ _3 _5 = Succ _4 type family NthParamType n a :: * type instance NthPar…

フィボナッチ数列 fib = 0:1:zipWith (+) fib (tail fib)で、これを新しい名前を作ることなく、かつ無名関数を書かずにやってみる。まずは関数の形になおす。 fib = let fib' x y = x:fib' y (x+y) in fib' 0 1fib'のパターンを書かないように変形する。 fib…

上のエントリ書きながら思ったんだけど、句読点多すぎても読むのにどうも詰まってしまうし、少ないと節が分かりにくくなってしまう。 だから節を入れかえたり、肯定と否定、能動と受動を逆にしたりするんだけど、そうすると、文が表わす事象は同じでも、元の…

（プログラム的な意味での）ある関数fがあったとして、fは内部に何事もなく処理できた場合と、そうでない、例えば引数が間違っているとか、そういう場合の処理があったとして、エラーだからどうしよう、例外でもポイしておきましょう。 function f(x) { if (…

http://atnd.org/events/1839 http://d.hatena.ne.jp/faith_and_brave/20091015/1255594060 http://d.hatena.ne.jp/faith_and_brave/20091016/1255665216 参加しましょう。というか猛烈な速度で参加人数が増えていますが…追記：すごい勢いにつき、あっという…

土曜日は層圏トポス米田フェスティバル@矢上祭(他の人の感想とかはこっち)に参加し、日曜日はあやしげな会合に出席するため、神奈川でお馴染みの横浜に行ってきた。 前と同じように、uskzさんと新大阪に集まることになったが、今回は無事合流できてよかった…

D言語を使って脳内でメタプログラミングして遊んでみる（コンパイルできる環境が手元にないので想像）。本当にただの妄想なので、そこのところは了承してちょんまげ。 template Tuple(xs...) { alias xs Tuple; }いつの間にかPhobosから削除されていたけど、…