Daniel de Rauglaudre 氏による Camlp4 - Tutrial を向井が勝手に訳したものです(9/23 2003版)。 訳の指摘などは mukai@jmuk.org まで。 1. 導入 Camlp4 は OCaml 用のプリプロセッサだ。プリプロセッサとして、 OCaml プログラムの構文拡張ができる。といっても、 Camlp4 は他にもさまざまな特徴を持っている。 文法構造 quotationsと呼ばれるマクロ OCaml用の改訂版構文 OCamlプログラムの pretty printing システム さらに: 拡張可能な関数、関数型ストリーム、 etc... Camlp4 は構文と構文、それに構文だ。構文拡張をするために独自の構文シ ステムを使う。しかも自力でそれをやっている。 Camlp4 は構文レベルでとど まる。意味論とか、型とか、コード生成とかは知ったこ