 | xduce. |
| التحميل الان | |
xduce. الترتيب والملخص
الإعلانات
xduce. العلامات
xduce. وصف
XDuce ("التحول") هي لغة برمجة مكتوبة مصممة خصيصا لمعالجة بيانات XML. XDuce ("التحول") هي لغة برمجة مكتوبة مصممة خصيصا لمعالجة بيانات XML. يمكن للمرء قراءة مستند XML كقيمة XDUCE أو استخراج المعلومات منه أو تحويله إلى تنسيق آخر، وكتابة قيمة النتيجة كوثيقة XML. نظرا لأن XDuce مكتوبا قانونيا، فإن برامج XDuce لا تسفر عن أخطاء نوع وقت التشغيل ومستندات XML الناتجة التي تتوافق دائما أنواع محددة. إنها بعض الميزات الرئيسية "XDUCE": ميزات XDuce أنواع التعبير العادي، والتي تشبه الروح إلى نوع المستند التعاريف (DTD). يوفر Xduce فكرة قوية من الفرعية الفرعية. (يتيح أي علاقة فرعية قد تتوقعها من الحدس الخاص بك بشأن تضمين التعبيرات العادية.) لا يعطي مرونة كبيرة فقط في البرمجة، ولكن أيضا مفيد لتطور المخطط أو التكامل. يدعم XDuce مطابقة نمط التعبير العادي، والتي تجمع بين التعبيرات، والشيكات العلامة، واستخراج الفرعي الفرعي. what الجديد في هذا الإصدار: أضافت دعما لعدة أيمورفية حديثة. أنواع يمكن أن تحتوي على أنواع متغيرات نوع مكتوبة "TY X"، على سبيل المثال، اكتب alist = إدخال ، البيانات ] * ونوع الاستبدال نموذج مكتوب "t {{x -> u}}" يعني استبدال u for x in t، على سبيل المثال، alist {{x -> bib} وظائف يمكن أن تكون متعددة الجنسيات، على سبيل المثال، البحث عن المرح {{x}} (val data as a ): b = ... حيث يمكن إعلان المعلمات النوع وأنواع المعلمات ونوع النتيجة أن يذكر معلمات النوع. تطبيق للوظائف متعددة الجنس لا يحتاج إلى حجج الكتاجات. يتم استنتاجهم تلقائيا. يمكن ربط متغير النوع مع عائقها مثل "TY X AS T". بعد ذلك، متغير نوع العار "TY X" abbreviates "TY X كما anyelm". وظائف مدمجة يمكن أيضا أن تكون متعددة الجنس: خارجي f: {x} a -> b القيود: يمكن تراوحت متغيرات النوع من خلال أنواع عنصر واحد، لذلك هذا خطأ: المرح خطأ {{x}} (val x as a ، b [])]): أي = x معلمات النوع الغامضة التي تسفر عن تحذير، على سبيل المثال، متعة Ambig {{x}} ( val x as (a ، c [] | a ]، ty x)): أي = x لا يمكن ذكر أنماط نوع المتغيرات: متعة خطأ {{x}} (val x as a ): any = filter x {(val y as a } {y}} لا يمكن أن يذكر نوع استبدال اسم النوع العسكري: اكتب خطأ = alist {{x -> خطأ}}
xduce. برامج ذات صلة
