كتب derived languages
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
اللغات المشتقة (معلومة)
ميتا أو كامل
ميتا أو كامل هو امتدادا لبرمجية متعددة الاستخدامات من أوكامل تمكن من التصنيف الإضافي لشفرات آلات جديدة خلال وقت التشغيل. وتحت ظروف معينة يمكن حدوث بعض التسارع الواضح باستخدام البرمجة متعددة المراحل نظرا لتوافر المزيد من المعلومات التفصيلية حول البيانات التي ينبغي معالجتها في وقت التشغيل أكثر من تلك في وقت التصنيف المعتاد، لذلك يمكن للمصنف الإضافي التخلص من الكثير من حالات تفقد الظروف... الخ.
فعلى سبيل المثال: إذا كان من المعروف أنه في وقت التصنيف يكون من المطلوب وجود دالة قوة محددة x -> x^n باستمرار، ولكن القيمة "ن " معلومة وقت في وقت التشغيل، فبإمكانك استخدام دالة قوة ذات مرحلتين في الميتا أوكامل:
let rec power n x = if n = 0 then.<1>. else if even n then sqr (power (n/2) x) else.<.~x *. ~(power (n-1) x)>.
وبمجرد أن تعلم قيمة " ن" وقت التشغيل يمكنك أن تتولد دالة قوة سريعة للغاية ومتخصصة أيضا:
.<fun x ->.~(power 5.<x>.)>.
فتكون النتيجة:
fun x_1 -> (x_1 * let y_3 = let y_2 = (x_1 * 1) in (y_2 * y_2) in (y_3 * y_3))
ويتم جمع الدالة الجديدة تلقائيا:
لغات مشتقة أخرى
أتومكامل وتتيح تزامما بدائيا بالنسبة للتطبيق شديد الصغر للشفرة.
- إيميلي وهي مجموعة فرعية من الأوكامل تستعين بمتحقق من قاعدة تصميم لفرض مبادئ الإمكانية الموضوعية (الأمان)".
- F# وهي لغة Microsoft.net تعتمد على أوكامل.
- فريش أو كامل وهي تسهل التلاعب بالأسماء والروابط
- جي كامل وهي تضيف أشكالا متعددة للأو كامل وبالتالي تساعد على العبء الزائد والتنظيم الآمن للنمط.
- جوكامل تقوم بدمج البنيات لتطوير برامج موزعة ومتكررة
- أو كامل ديوس يتوسع في الوكامل مع بعض المميزات مثل تعبيرات إكس إم إل وأنماط التعبير المعتادة.
- أوكامل بي ثري آي وهو نظام برمجة متوازي يعتمد على الأوكامل ولغة بي ثري إل.
