ohai日誌

_ OCamlの改訂版構文

シグネチャの定義時に型の存在のみを宣言してその実体を書かないということが 改訂版構文ではできないようです。

つまり、

module type XYZ =
  sig
    type t;
  end;

といったことができません。しかし元の構文ではできます。だれかこれの解決法を 知りませんかね。知っていたら教えて欲しいのです。

_ モヒカン族

最近Webで流行しているモヒカン族とは何か、という話を一週間前くらいにし ました。hanyawnには非常にうけました。かつてのfjについての知識がある ぷらさんも笑ってくれました。oxyにはうけが悪かったです。

_ ここの文章のライセンス

実は一月ほど前にここの文章を「CCライセンス - 帰属」にしました <URL:http://www.kmc.gr.jp/~ohai/cc.html>。