3.11 で導入された、Private abbreviation type を使って自然数を実装してみましょう: module M : sig type nat = private int val nat_of_int : int -> nat val int_of_nat : nat -> int end = struct type nat = int let nat_of_int n = (assert (n >= 0))…

パスタが値段据え置きで 1kg から 700g に量が減っていたと聞いて、麻生首相: じゃあ三割くらい(値段が)上がったんだな しっかりしてほしい。 1kg から 100g になったら、「九割くらい上がったんだな」とか言いそう。さすがにそれはないか。しかし、 1000 =>…

うちのレポジトリのリビジョン関係をグラフにして表示してみた。美しい。 ○ひとつがリビジョンひとつ。コミットした人により色分け。これは当然ごくごくごく一部。

いつも下手ながらも first person shooter しかやらない私ですが、これは全然違うゲーム: World of Goo: http://2dboy.com/games.php これは面白い。グラフィック、音楽もセンスがある。昔 xspringies という質量点とバネを使っていろいろ遊ぶゲームというか…

不法滞在の状態で就活されても、困ります。

そういえばこの頃 Obj.magic を使ってないので well-typed Camler な私が emacs lisp に挑戦してみた。これは泣ける。

Lehman破綻の代償？: http://wallstny.exblog.jp/8740729/ が参考になりました。 確かに空売り禁止してからのほうが落ちてるんですよね…

TSAC(Tokyo Society for the Application of Currying, http://www.starling-software.com/en/tsac.html)というものがあるらしい。English speaking Haskellians のサロンなのかしらん。こういう課外活動をやってみるのもいろんな人に会えて面白いかも知れん…

Concurrent ML の ivar in OCaml, Concurrent Cell: http://d.hatena.ne.jp/osiire/20081011 ウチでも同じようなことをしております(が、クローズドなので)。なのでこれには注目していきたい!OCaml で multi thread なプログラムを書くと、初めのころは、大…

というNHK9時のニュース。私も選択が違っていれば、こうなっていたと思うと怖い。仕事終わりにドンペリの一本二本とか、アホかと。

3.11 のブランチ release311 が ocaml-cvs に出来ました。おそらくもうすぐリリースですね。3.11 の目玉 native判のモジュールの dynamic link private abbreviation type Printexc.print_backtrace 等、デバッグに役立ちそうな backtrace 系関数数種 ocamln…

I間さんの舎弟になるらしい id:wpw が http://d.hatena.ne.jp/wpw/20081007/1223363005 なんていう落とし穴に引っかかっているのを鼻で笑っていたら、自分自身もやってしまった。注意 labeled argument 使ってます。適用に読み替えてね。 List.fold_left ~in…

ごく適当に和訳。 (´･ω･`)オープンソースのcamlコードを C/C++, C#, VBScript, ASP, PHP とかに変換するツールを探してます。何で探してるかって言うと、 1. 新しい言語勉強する時間なんてねぇよ！2. C/C++, C#, Visual Basic と大学で使ってきたし、もうす…