CDuce

CDuceは XML文書を操作する、安全で効率的なアプリケーションを書くのに適したプログラミング言語です。タイプシステムはコンパイル時に、アプリケーションが可能なすべての入力を扱い、有効な出力のみ生成することをチェックします。パターンマッチングは正規表現に基づいてドキュメントを検査する、強力な操作の一つです。CDuceは汎用機能も備えています：これは Objective Camlとのタイプセーフなインターフェイスを備えた、高階関数型言語です。