CDuce: OCamlDuce: マニュアル

概要 OCamlDuceプロジェクトの目標は、Ocaml言語を拡張し、XML文書を扱うのに必要な、安全かつ能率的で複雑なアプリケーションを、より簡単に書けるようにする機能を持たせることである。特に、型やパターンの概念により、あり得る全ての入力文書が正しく処理され、妥当な出力文書しか生成されないことを、静的に保証する。 極めて簡単に言えば、OCamlDuceはOCamlを拡張し、XML文書、文書片、タグ、Unicode文字列を表現するための新しい種類の値(x値)を持たせるものである。これらの値を表現するために、型の代数を拡張して、いわゆるx型を持たせる。x型の背景となる考え方は、x値の集合を表現することである。x型は非常に厳密にでき、実際、それぞれの型は単一の型(単一の値集合)に見せることが出来、かつx型のブール結合(積、和、差)を形成することができる。 OCamlDuceの型システムは、O