今日は一転、真面目な話ですある程度 OCaml プログラミング経験がある皆様は、 int, string 等の基本型の比較には多相比較ではなく、単相比較を使うべし。最適化された比較関数が使われ、早くなる という教をご存知かと思います。正しいです。でも、そこに実…

,.‐'´ `''‐- ､._ヽ /.i ∠,. -─;==:- ､ゝ‐;----// ヾ.､ [ |､! /'￣r'bゝ}二. {`´ '´＿_ （_Y_）,. |.r-'‐┬‐l l⌒ | } ﾞl |｀} ..:ヽ--ﾞ‐´ﾘ￣ヽd､ '''' ￣￣ |l !ﾆ! !⌒ // . i.! l .::::: ｿ;;:.. ヽ､._ _,ノ' ゞ）ノ./ ええっとこの読みものは昔から思いこんで…

まだ安定していません。細かいところ予告なく調整していきます。既存 Makefile によるプロジェクトの omake への組み込み方は、二つあります。 OMakefile へ移植 ひとつは、Makefile を OMakefile に移植すること。Makefile が何やってるか完全に理解する必…

(その変態的シンタックスに慣れれば) 結構早くプログラムが理解できるとうわさの OCaml ですが、他人の書いた OCaml ライブラリを読んだり、自分が書いた物でも、コード規模が大きくなってきたりすると、 どこかにあるハズの定義が見つからねぇ ってことが多…

今回はバグフィックスリリースです。色々恐ろしいものはこの次の 3.12 で入りますよ。なので、あまり大きく取り上げるものもないですが、、、目立つところでは、 例外をプリントする機構が良くなった Scanf がだいぶ良くなった。でも俺は信用してない Arm 関…

日本の大学事務は、内部だけに失礼なんだと、思いたかったが、外部に対してもやはり失礼なやつらだと、いうことを、身を持って経験した。日本の大学の教育、研究の質を上げるには、事務を改革するのが、一番、手軽である。

"OPA : my personal Holy Grail of OCaml ?"ホットな内に書いて公開しようと思ったので全然推敲していない文章です。まあ興奮度が伝わればいいかなと思って。OCaml も好いんですけど、やっぱり「ジャイアン」なんです。「綺麗なジャイアン」が欲しいと思うこ…

そもそもプログラミング言語システムの挙動が locale とかに引きずられるのは、おかしいと思うんだ。実装側からするとただメンドイだけでバグも入り易いし。まあいいや。 一番簡単なのは、 # let printer ppf = Format.fprintf ppf "\"%s\"";; val printer :…