pattern-mathing is not exhaustive警告がうざいからと言って、 let f x = match x with A -> ... | B -> ... ... | Q -> ... | _ -> print x; assert false とか書いておくと、あとで新らしいコンストラクタRを足したときに、忘れることがわかった。 let f …

デバッガでプログラムの実行を追うのと、楽譜を見ながら音楽を聞くのは、なんか似ていると思った。そうすると、演奏者はCPUになる？俺はレジスタだ。指揮者はCPUの設計者？ MP3とかに、今どの小節を弾いているのかの情報を埋めこめたら楽しいだろうなぁ。(結…

L'eclat des jours(2007-05-21)ML(やHaskell)で let f x y z = () in (* = let f = fun x -> (fun y -> (fun z -> ())) *) f 1 2 3 と let f (x, y, z) = () in f (1, 2, 3) の違いは、部分適用できるかどうかで、 let g f y z = g f (y z) in g (f 1) 2 3 …

反響 d.y.d. 大人げ - sumiiの日記 k.inabaさんに煽られたので、OCamlでパーサ書いてたんですが、CGIはめんどさそうなのでRubyでブリッヂさせようかとか考えてたんですが、例の生成の前に飽きました。後方参照とかやっとられん。しばらくは時間を使う気にな…