CDuce: ユーザマニュアル

目次

項:

• コンパイラ/インタプリタ/トップレベル
  • コマンドライン
  • スクリプト
  • フレーズ
  • トップレベル
  • 字句の実体
• 型とパターン
  • 型とパターン
  • 捕獲変数とデフォルトパターン
  • ブール結合
  • 再帰型と再帰パターン
  • スカラー型
  • ペア
  • シーケンス
  • 文字列
  • レコード
  • XML要素
  • 関数
  • 参照
  • OCamlの抽象型
  • 完全な構文
• 式
  • 値コンストラクタ表現
  • パターンマッチ
  • 関数
  • 例外
  • レコード操作
  • 算術演算子
  • 汎用比較、if-then-else
  • 上位強制
  • シーケンス
  • XML特有のコンストラクション
  • Unicode文字列
  • 文字列へ、及び文字列からの変換
  • 入出力
  • システム
  • 名前空間
  • やむを得ない機能
  • 問い合わせ
• XML名前空間
  • 概要
  • 名前空間宣言の再利用
  • XMLスキーマと名前空間
  • アトムに対する型
  • XML文書の印字
  • XMLの値及び型の清書
  • 名前空間束縛へのアクセス
  • その他
• XMLスキーマ
  • 概要
  • XMLスキーマコンポーネントの(非常に簡単な)紹介
  • XMLスキーマコンポーネントのインポート
  • トップレベル命令
  • XMLスキーマ→CDuceのマップ
  • XMLスキーマの検証
  • XMLスキーマインスタンスの出力
  • サポートされていないXMLスキーマの機能
• XMLスキーマのサンプル文書
  • サンプルXML文書
  • mails.xsd
  • mails.xml
• CDuceのOCamlとのインタフェース
  • 導入
  • 型の翻訳
  • OCamlをCDuceから呼び出す
  • CDuceをOCamlから呼び出す
  • コンパイル及びリンクの方法
  • OCamlをトップレベルから呼び出す
  • 例