2012-12-01から1ヶ月間の記事一覧

1モジュール1データ型主義

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

OCaml 開発環境について ~ コンパイラに付属しない非公式ツールたち

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

Meta_conv による OCamlデータ型 と 樹状データ の相互変換自動生成

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

OCaml 開発環境について ~ OCaml コンパイラソース付属ツール

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

星のキャミバ様 Adventure Calendar 第366夜: 再入国

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