参考: http://groups.google.co.jp/group/fa.caml/browse_thread/thread/75a8815a6b511e72/上記コードを参考URLの正攻法で書き直すとこうなります。 module type P = sig type t val compare: t -> t -> int val create: unit -> t val empty: t end module …

3.12.0出ましたね！MacPortsになかなか来ないので、ローカルでビルドして移行中です。 さて今回新機能目白押しです。その中でも個人的に一番ありがたいのがmodule type ofです。面倒くさいsig宣言のコピー&ペーストをかなり削減できます。 頻繁に弄ってる最…

http://panathenaia.halfmoon.jp/alang/headmaster/h.html最近またCから他言語へのトランスレータ作りに熱が入ってたりするのですが、ほんとに何年たっても一向に完成の兆しは見えず。 パーサはある程度動くようになったので、普段使っているライブラリのヘ…