久々にocaml-nagoyaでページを作りました。 ivarの必要性 - ocaml-nagoya OCamlのイベントモジュールの問題点とOCaml Forge: Concurrent Cell: Project Homeの宣伝です。

マルチスレッド関連で色々遊んでいると、メインスレッドが取り残されて待っているだけでよい時があります。そんなとき、 Thread.delay 10. とかやると、なぜか他のスレッドの動きまで止まってしまいます。（メインスレッドはGCの関係で特別なのかなー？）そ…

おぉ、知らんかった！ http://ocaml-nagoya.g.hatena.ne.jp/mzp/20080929/comprehension

ってなにげに便利だなー。魔法のように型チェック通過しちゃう。 http://d.hatena.ne.jp/KeisukeNakano/20060727/1153831110 http://www.itpl.co.jp/ocaml-nagoya/index.php?OCaml%A5%C6%A5%AF%A5%CB%A5%C3%A5%AF%2Fhlist

思いつきで書いているので、全く当てになりません。あしからず。 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…

名古屋から行くのは早起きしなきゃ行けないので辛い。眠い目をこすりながらid:yoshihiro503さんと駅で待ち合わせ。危うくすれ違いそうになったけど無事新幹線へ。会場についたらLarry Wallの講演の直前。最初ははりきって聞いてたんだけど、いまいち深い話が…