排他的な状態を表現するにはバリアントを利用した方がいいと思う。例えば、ある描画可能オブジェクトがドラッグ中なのか変形中なのか、あるいはそのいずれでもないのか、これらは互いに排他的な遷移状態。だから、 type t = IDLE | DRAGGING | TRANSFORMING …

とあるコードを読んでいて、@?でバッファをフラッシュしているところがあって、ちょっとハッとした。 fprintf std_formatter "hello world@?";; そういえば、pretty printerにそんなのがあったなーと。

The parallel GC project has made a first proof-of-concept of a parallel GC in OCaml. It's an exciting step, but it's not clear to me where it goes from here, although we do expect to see a release of their current prototype. The performanc…

3.11のChangesには、 Introduction of private abbreviation types "type t = private ", for abstracting the actual manifest type in type abbreviations. と書いてある。意味は今までのprivate typesと同じなんじゃないかなー。private指定された型は、…

同じロジックのコードを2度以上書くな 2008-09-22 - プログラミング日記よりこのテクニックはプログラマーには常識的に信じられている事だと思う。でも、私はあえて同じロジックを書く事が結構ある。特に最上位のアプリケーションレベルのコードの場合に多い…

やられたー。SLOTが存在しないのにコンパイル通るんだぁ。ところで、前から思ってたけど、イベントとかSIGNALとかってブロードキャストなんだよねー。誰が受け取るか分からないし、どういう順番で受け取られるのかも分からないし、その後どうなったのかも分…

ocaml-nagoyaでid:syd_sydさんにHaskellの型推論のマニアックな機能について教えてもらった。型クラスに複数のパラメーターがあった時に、そのパラメーター同士の関係を明示する事で、より直感的な推論結果を導けるらしい。具体的にはfunctional dependencie…

すごいのかすごくないのか、よく分かりません。C++でまともにプログラミングするのは、学生の時以来（もう7年前？）。できる事なら（仕事では）関わりたくなかったというのがホンネ。でもやってくうちに何か学べる事もあるかもしれないので、楽しみ。修正: …

OCamlで動いている、とあるバッチ系に障害発生。久しぶりなコードを追って日本語の処理の部分を一部変更して対処。疲れた。ところで、Haskellでは関数の前に型を書く習慣があるけど、OCamlにはない。これは見習うべきだと思う。今回久しぶりのコードを追って…

自宅で味の素の「やさ塩」ってやつを使ってて、たまたま成分表示を眺めてると、100gあたりナトリウム18g, カリウム27gと書いてある。 えー、カリウムの方が多いんだ！塩はNaClっていう固定概念は通じないんだぁ！http://www.ajinomoto.co.jp/yasashio/salt/i…

ほしいー。USBじゃなければ切り替え機で即使えるのに。っていうか切り替え機をUSB対応にすればいいのか。

OCamlの次世代デファクトスタンダードライブラリを目指すBatteriesがα1をリリースしたらしい。http://dutherenverseauborddelatable.wordpress.com/2008/10/11/ocaml-batteries-included-version-alpha/一応前から内容は見ていて、OCamlのベースライブラリを…

久々に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