2008-08-01から1ヶ月間の記事一覧

OCamlSpotter alpha3: 変数の定義へと飛ぶコンパイラ拡張

alpha3 公開です。(Download) (Download p1) OCamlSpotter は OCaml の -annot オプションを拡張し、変数の定義場所を .spot ファイルに保存します。この .spot ファイルを利用すると、プログラム中の変数から、対応する定義コードを簡単に探し出すことがで…

OCamlSpotter alpha1 : 変数の定義へと飛ぶコンパイラ拡張

現時点では external な変数だと追跡できないとか、いろいろ問題もあるのだけれど、すでにかなり役にたつので、alpha1 として公開することにします。(Download)(新バージョン公開しました。詳しくは新しい日付の日記を)OCamlSpotter は OCaml の -annot オプ…

コンパイラ改造時の豆知識: core coreboot partialclean

コンパイラ自体を改造していると make world, make bootstrap にイライラする。いまや make world/bootstrap は、otherlibs, ocamldoc, camlp4, ocamlbuild など周辺ライブラリやアプリまでコンパイルするので、昔と比べてかなり実行に時間がかかるようにな…

OCaml プログラマーなら、Ocaml ではなく、OCaml と書いてほしい

"Ocaml" と書く人が多いですが、OCaml、もしくは O'Caml と書いてくださると、INRIAの連中は嬉しいはずだ。OCaml は Caml 言語にオブジェクトを足したもので、"OCaml" = "O(bject)" ^ "Caml" という命名。また、アイルランド人名で、子孫を意味する O' (wiki…