はー、今日から一週間弱休みです。って、今日も新年二日も容赦なく NY も HK も AU も市場は開いてますから、有給を取っただけなんですが。だらだらっと下書きだったブログエントリを仕上げてます。 ウチの会社のウェブページの内容を鵜呑みにすれば、幸いに…

インストールについてはこちらを参照してください。 まずパスを設定して動作確認 PREFIX/bin をパスに入れてください。設定方法はシェルによって違うので書きません。 設定を変えてから、 $ ocaml Objective Caml version 3.11.0+ocamlspotter # となってい…

OCaml では名前(変数、モジュールや、ヴァリアント、コンストラクタ名)はモジュールの名前空間によって管理されている。別モジュールで定義されている名前を使ってヴァリアントやレコードを作成したり、参照したりする時にはそのモジュール名を介してアクセ…

次のコードがなぜエラーになるのかよくわからない。 module type RESULT = sig type result val v : result list end module Make (P : sig type t end) : RESULT (* with type result = P.t *) = struct type result = P.t let v : result list = [] end mo…

とかいう物がいつの間にやら設立されたらしい。 http://d.hatena.ne.jp/mkouhei/20081221#1229791257 http://d.hatena.ne.jp/jitsu102/20081221/1229809932 こんな物が出来るということは、だんだんとOCamlもメジャーになりつつあるということで、嬉しいこと…

来年早々、谷中から池ノ端に引越しします。 四年間、買い物交通至便＋ご近所の方々のよさもあって、夫婦二人にしては狭い所に住んでいましたが、さすがに狭すぎということで、引越しです。ようやくお客様をご招待しても恥ずかしくない広さになります。

年内に出すと決めていたので、完成度100%ではないんですけど、ようやくリリースできました。 http://jun.furuse.info/hacks/ocamlspotter/OCamlSpotter は、モジュールのコンパイル時にソースの定義位置情報を記録*1することで、モジュールソースコード中の…

OCaml では、モジュール M で定義されている型や値にアクセスするには M.hoge という記法を使う。M 中の型や値を頻繁に使う場合、一々 M.fuga, M.Poge と書いていると面倒になってくる。こういう時に、 open M と唱えると、それ以降、 M. を付けなくても、 f…

class_fields INHERIT class_expr parent_binderというパースルールなので、 class c0 x = object val x = x end class c = object inherit let x = 1 in c0 x endと書けることに気が付いた。わからんではないがキモイ。

明らかな未実装部分を除いてテストに全て成功した、、、長かった、、、 ク、クリスマスには出せると思うんだ。これがないと生きていけなくなるから、覚悟してください。

海外でもそのまま電話がかけられるという携帯、今では当たり前ですが、その当時はほとんどこれしか選択肢がなかった L704i という LG電子の携帯電話を持っているのです。こいつを買ったその日に、 オリジナルマナーモードの音量設定が正確に反映されないため…

楽しくOCamlプログラムを書いているうちにドルが90円を切っていた、、、 なんだかトレーダーの人たちは忙しかったらしいんですが、自分の仕事に集中していたので、終わるまでビッグスリーの話、知らぬが仏状態… これから数時間後、NY本社の人たちも(いい意味…

そんなわけない。なんだか流行るのか流行らないのか判らない OMake(http://omake.metaprl.org/index.html)。その影の部分にちょいと光を。総ソースコードが数十万行ぐらいになると OMakefile の依存解析に数十秒かかる。なので、persistent mode*1が便利とい…

ロンドンオフィスと iChat でお話。彼はいつもカメラの前の、正にこの位置に座っている。そこで王冠を進呈した。こちら側では、彼は今や敬意をこめて King と呼ばれているのだが、時々誰かが「奴を退位させろ！」とか叫んでいる。本人は知っているらしく、時…