xd XDUCE（ "TransDuce"）は、XMLデータを処理するために特別に設計された型式プログラミング言語です。
今すぐダウンロード

xd ランキングとまとめ

xd タグ

プログラミング XML. プログラミング言語 タイプされた XMLプロセッサー 多型関数

xd 説明

XDUCE（ "Transduce"）は、XMLデータを処理するために特別に設計された型式プログラミング言語です。 XDUCE（ "Transduce"）は、XMLデータを処理するために特別に設計された型式プログラミング言語です。 XML文書をXDUCE値として読み取ることができ、そこから情報を抽出するか、別のフォーマットに変換し、結果値をXML文書として書き出すことができます。 XDUCEは静的に入力されているので、XDUCEプログラムはランタイムタイプのエラーを生み出すことはなく、結果として得られるXML文書は常に指定されたタイプを適切に適合させます。定義（DTD）。・XDUCEはサブタイプの強力な概念を提供します。 （正規表現の包含関係にあるあなたの直感が期待できるすべてのサブタイプの関係を可能にします。）プログラミングにかなりの柔軟性を与えるだけでなく、スキーマの進化や統合にも役立ちます。・XDUCEは、IF式、タグチェック、サブノードの抽出を組み合わせた正規表現パターンマッチングをサポートしています。このリリースでは新機能：・パラメトリック多型のサポートを追加しました。・タイプに書き込まれたタイプ変数「TY X」、例えばALIST = ENTRY 、データ] *、「T {x - > u}}」と書かれたタイプ代入フォームはXにおけるXの場合は、Xの場合、ALIST {{X - > BIB}}・関数は、多型、例えば楽しい検索{{x}}（valデータとしてのValデータ）であり得る：b = ...タイプパラメータを宣言し、パラメータタイプと結果タイプは型パラメータを言及できることを説明できます。・多型関数へのアプリケーションは型引数を必要としません。それらは自動的に推測されます。・タイプ変数は、「ty xとしてt」のような制約に関連付けることができます。そして、ベアタイプ変数「TY X」が「AnyelmとしてTY X」を略奪します。組み込み関数は多形性：extern f：{x} a - > b ・制限事項：・タイプ変数は1要素の種類によって除外されますので、これはエラーです。間違った{{x}}（a []、b []）としてのval x）：any = x・マーキングのあいまいタイプのパラメータは、警告、例えば楽しいamvig {{x}}（ Val X AS（A 、c []、c []）| a ]、ty x））：any = x・パターンはタイプ変数には言及できません：楽しい間違った{x}}（val x x]）：any = filter x {（ty x]としてのval y）{y}}・代替タイプは、再帰的なタイプの名前を言及できない：タイプ間違った= alist {{x - >間違った}

xd 関連ソフトウェア