CDuce: ℂDuce
Note: As of today (April 2021) the ℂDuce compiler is under extensive rewriting in particular to separate the type library from the rest of the compiler and add type reconstruction. Therefore, it may not compile with the lastest versions of OCaml. Below we list some workarounds to compile (1) the old monomorphic version of ℂDuce (2) a new monomorphic version of ℂDuce compatible with the latest veri
CDuce: OCamlDuce: マニュアル
概要 OCamlDuceプロジェクトの目標は、Ocaml言語を拡張し、XML文書を扱うのに必要な、安全かつ能率的で複雑なアプリケーションを、より簡単に書けるようにする機能を持たせることである。特に、型やパターンの概念により、あり得る全ての入力文書が正しく処理され、妥当な出力文書しか生成されないことを、静的に保証する。 極めて簡単に言えば、OCamlDuceはOCamlを拡張し、XML文書、文書片、タグ、Unicode文字列を表現するための新しい種類の値(x値)を持たせるものである。これらの値を表現するために、型の代数を拡張して、いわゆるx型を持たせる。x型の背景となる考え方は、x値の集合を表現することである。x型は非常に厳密にでき、実際、それぞれの型は単一の型(単一の値集合)に見せることが出来、かつx型のブール結合(積、和、差)を形成することができる。 OCamlDuceの型システムは、O
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Ocamlduce
CDuce: OCamlDuce
