思いつきで書いているので、全く当てになりません。あしからず。 type 'a t = { dat : 'a; children : 'a t list; } let bff f x t = let q = Queue.create () in Queue.add t q; let rec loop r = try let t = Queue.pop q in List.iter (fun c -> Queue.pu…

The 2008 ACM SIGPLAN Workshop on MLより。Invited Talk: Types for Units-of-Measure in F# （Andrew Kennedy）を読んだ。どうやらF#では値の「単位」を幽霊型で表現する模様。そーかー、言われてみればそういう使い方ができるなー。そういう論文はたくさ…

id:sumii氏経由。The 2008 ACM SIGPLAN Workshop on MLのプレゼン資料が公開されています。http://www.kb.ecei.tohoku.ac.jp/ml2008/program.htm面白そう。全部聞きたかった。くやしい（カナダじゃむりだぁ）。とりあえず"Lwt: A Cooperative Thread Library…

Qtと格闘中。以下仕事しながらのつぶやき。 全体的にクラシックでとても素直で枯れてるし揃ってるし老舗だし。ある意味理想だなー。 おぉ？ウィジェットの親へのadd要らないの？！ やっぱりSignalとSlot便利ねー。でも、クロージャーがあればこんな工夫も要…

12日に手術終わり、母子ともに無事。2460g, 48cm。女の子。出生届は週明けに。 関係各位にはご迷惑おかけしておりますが、もうしばらくよろしくお願い致します。

Qtのソースコードをダウンロード。Visual Studio 2005にPlatform SDK入れて、PATHやらINCLUDEやらLIBやらの環境変数を整えて、コンパイル開始。 >configure.exe >nmake なげー。もう何時間やってんだー。Celeron1.8GHzじゃ致し方ないか。メモリは1.5Gのって…

caml-listにも流れてたので、OCamlSpotterを試してみた。OCamlSpotterはid:ocamlspotter氏によるOCaml開発支援のツールで、emacsでOCamlのソースを読んでいる時に、指定した変数の定義箇所にジャンプできるという便利なやつです。しかも、ソースコードがバッ…

昨日から徹夜でC++のコードとにらめっこして見積書を作り、今朝はサーバープログラムの障害に緊急対応して、昼前にはあるリポジトリから別のリポジトリへJavaプログラムの膨大なマージ作業をして、「さー、やっと終わった。昼飯にでもするか。おっと、コミッ…

id:camlspotter氏に、オブジェクト使わないのは一般的で理由のある話なので誤解ではない、とのコメント頂きました。ありがとうございます。なんかもうオブジェクト有用前提みたいな気分だったので、勢いで書いてしまいました。JSCの方々にお詫び申し上げます…

なにげにWadler氏のBlogを読んでたら、JaneStreetCapitalがOCamlで作ったトレードシステムの話題があった。http://wadler.blogspot.com/2008/09/caml-trading.htmlこの話自体は珍しくも何ともないんだけど、JSCの人が言っていたという引用に愕然とした。 Whe…