OCaml の「1モジュール1データ型スタイル」。このプログラミングスタイルは21世紀に入ってからモジュールを多用する OCaml コミュニティで流行りだしたもので私も採用しています。源流は SML 方面にあると聞きましたが…私自信は確認していません。要出典です…

2012年12月での関数型言語 OCaml コンパイラ一式には入っていない 内部もしくは外部開発されたのツール群の紹介を行う。 例によって多岐に渡るので、一つ一つの詳しい説明は行わない。 各ツールの細かい情報はそれぞれのドキュメントを参照して欲しい。 リン…

Web にアクセスするプログラムを書いていると良く JSON というデータを扱う ことがあります。JSON とは世間で何と言われているかわかりませんが OCaml では: type t = | String of string | Number of float | Object of obj | Array of t list | Bool of bo…

2012年12月での関数型言語 OCaml コンパイラ一式をインストールした際に付属する「公式」ツール群の紹介を行う。多岐に渡るので、一つ一つの詳しい説明は行わない。各ツールの細かい情報はそれぞれのドキュメントを参照して欲しい。 もし知らないツール名が…

今日、二週間の日本での休暇を終えてシンガポールに帰ってきました。偶然ですが、ちょうど一年前の12月1日、同じ便でシンガポールにまず単身で乗り込んだので来星一年になりました。感想は時間がたつのが早すぎるってことにつきますね…シンガポールでは季節…

http://bugzilla.metaprl.org/cgi-bin/show_bug.cgi?id=738Ubuntu's new ld behaves a bit differently as known as ld-as-needed, and due to this, the build of OMake in Ubuntu succeeds but without persistent build capability (-P). I put a small p…

F1シンガポールGPがはじまりました！！！！クソが！！！公道レース。家と会社を結ぶバスルートは思い切り F1 のコースです。会社から家にどうやって帰ればいいんだよ！おれは車の免許持ってない程度に車は興味ねぇんだ。息子は免許持ってないけど車ラブだけ…

シンガポール生活ももう8ヶ月。南国特有の季節感の無さと、子育てに日々追い立てられていることによる時間感覚の喪失で、えっもうそんなにたったのか、という気がします。始めの数ヶ月は子供が家にずっといたので妻は大変でいろいろとストレスがお互いにたま…

OCaml 4 に付属する compiler-libs を使うと、以前より手軽に OCaml コンパイラを改造することができます。(できないこともありますが)https://bitbucket.org/camlspotter/compiler-libs-hackに、SML スタイルの多重定義を実現するコードと解説記事を置いて…

このところ立て続けにコードレビューについて話をする機会があったので 私が経験した最高のレビュー体制を簡単にまとめておこうと思います。 利点 何故必要か 何が嬉しいのか コスト うまく回すためには何が必要か 細かい運営方法 はっきり言って当たり前の…

さて、お約束していた OCaml の型エラーメッセージ改良のための改造、ある程度形になりましたので、公開します。 hg clone -b typeloc https://bitbucket.org/camlspotter/mutated_ocaml ビルドは configure の後、 make core coreboot world です。インスト…

良心が咎めないことも無いので…各関数型言語(らしきもの)のホームページには大体、ウチの言語はこの会社で使われているよ！だから君も使わなきゃ駄目駄目！というお手盛りのページがあります。それをペペッとググリましたので列挙しておきます: Scala: http:…

Pandoc 'はてな記法' で google しても出てこなかったので誰も書いていないと判断した。https://github.com/camlspotter/pandoc/tree/hatena適当にやってきますので、利用したい人も適当にやってください。なんかあったら報告しておくれ。どうせ書きっぱなし…