Xduce XDuce ("Transduce") ist eine typisierte Programmiersprache, die speziell für die Verarbeitung von XML-Daten entwickelt wurde.
Jetzt downloaden

Xduce Ranking & Zusammenfassung

Xduce Stichworte

Programmierung XML Programmiersprache Tippen XML-Prozessor. polymorphe Funktionen

Xduce Beschreibung

XDuce ("Transduce") ist eine eingegebene Programmiersprache, die speziell für die Verarbeitung von XML-Daten entwickelt wurde. XDuce ("Transduce") ist eine eingegebene Programmiersprache, die speziell für die Verarbeitung von XML-Daten entwickelt wurde. Man kann ein XML-Dokument als XDUCE-Wert lesen, Informationen davon extrahieren oder in ein anderes Format konvertieren und den Ergebniswert als XML-Dokument ausschalten. Da XDuce statisch eingegeben wird, erhalten XDUCE-Programme niemals Laufzeitfehler, und die resultierenden XML-Dokumente sind immer an bestimmte Typen anpassen Definitionen (DTD). · XDUCE bietet einen leistungsstarken Vorstellung von Untertypen. (Es ermöglicht jedes Untertypning-Zusammenhang, dass Sie von Ihrer Intuition bei der Inklusionsbeziehung regulärer Ausdrücke erwarten.) Es gibt nicht nur erhebliche Flexibilität bei der Programmierung, sondern auch nützlich für die SCHEMA-Evolution oder Integration. · XDuce unterstützt regelmäßige Ausdrucksmusterabgleich, der if-Ausdrücke, Tag-Checks und die Extraktion von Subnodenten kombiniert · Typen können Typ-Variablen enthalten, die "TY X", z. B. Typ Alist = Eintrag , Data ] * und Typ-Substitutionsformular "T {{{X -> u}}", um das zu bedeuten Substitution von u für x in t, zB Alist {{x -> bib}} · Funktionen können polymorph, z. B. Fun-Suche {{x}} (Val-Daten als ): B = ... wo Typ-Parameter deklariert werden können und Parametertypen und der Ergebnisart Typ Typparameter erwähnen können. · Eine Anwendung auf polymorphe Funktionen benötigt keine Typargumente. Sie werden automatisch abgeleitet. · Eine Typvariable kann mit seiner Einschränkung wie "TY X AS T" zugeordnet werden. Dann, eine nackte Typvariable "TY X" abkürzert "TY X als Anyelm". Eingebaute Funktionen können auch polymorph sein: extern f: {x} A -> B · Einschränkungen: · Typ-Variablen können durch Ein-Elementtypen überschritten werden, sodass dies ein Fehler ist: Spaß falsch {{x}} (Val X als , B [])]): Any = X · Marking-mehrdeutige Typparameter ergeben eine Warnung, z. B. lustig umam {{x}} ( VAL X AS (A , C [] | A ], TY X)): Jede = x · Muster können keine Typvariablen erwähnen: Spaß falsch {{x}} (Val X als ): beliebig = Filter x {(Val y als ) {y}} · Ein Ersatztyp kann keinen rekursiven Typ erwähnt. Name: Typ falsch = Alist {{x -> falsch}}

Xduce Zugehörige Software