لغة البرمجة FL

FL (اختصارًا لـ Function Level ) هي لغة برمجة تم إنشاؤها في IBM Research – Almaden ، كاليفورنيا بواسطة جون باكوس ، وجون ويليامز، وإدوارد ويمرز في الثمانينيات وتم توثيقها في تقرير من عام 1989. [ 1 ] تم تصميم FL كخليفة للغة FP السابقة لباكوس ، مما يوفر دعمًا محددًا لما أسماه باكوس برمجة مستوى الوظيفة .

لغة FL هي لغة برمجة وظيفية صارمة ذات كتابة ديناميكية، وتعتمد على دلالات الاستثناءات throw و catch كما هو الحال في لغة ML . تحتوي كل دالة على وسيط تاريخ ضمني يُستخدم لتنفيذ عمليات مثل الإدخال/الإخراج الوظيفي الصارم ، بالإضافة إلى استخدامه للربط مع كود C. ولتحسين الأداء، يوجد نظام أنواع يُعد امتدادًا لاستنتاج نظام أنواع هيندلي-ميلنر .

بلازما

PLaSM هو "امتداد موجه نحو الهندسة لمجموعة فرعية من لغة FL" [ 2 ] تم وصفه لأول مرة في عام 1992.

مراجع

  1. أيكن، ألكسندر؛ ويليامز، جون هـ.؛ ويمرز، إدوارد ل. (1993). مشروع FL: تصميم لغة وظيفية (ملف PDF) . جامعة ستانفورد (تقرير).
  2. "مقدمة إلى FL وPLaSM" . Plasm.net . مؤرشف من الأصل بتاريخ 28 مارس 2023. تم الاطلاع عليه بتاريخ 30 ديسمبر 2025 .