لغة البرمجة MLisp
- "MLisp" هو أيضًا اسم آخر لـ Mocklisp ، وهي نسخة مبسطة من Lisp تستخدم كلغة إضافية في Gosling Emacs .
لغة MLISP هي نوع من أنواع لغة Lisp ذات بنية نحوية شبيهة بلغة Algol ، تعتمد على تعابير M ، وهي بنية الدوال في الوصف الأصلي للغة Lisp الذي وضعه جون مكارثي . لم يتم تطبيق تعابير M الخاصة بمكارثي بشكل دقيق. [ 1 ]
طُبِّقت لغة MLISP لأول مرة على جهاز IBM 360 بواسطة هوراس إينيا ، ثم أُعيد تطبيقها على جهاز PDP 10 بواسطة ديفيد كانفيلد سميث. يدعم هذا التطبيق الثاني أيضًا نوعًا خاصًا من تعابير لامدا (" FEXPR ")، التي لا تُقيِّم وسائطها. وكما هو الحال في لغتي Lisp-1 و Scheme ، كان هناك نطاق اسم واحد للمتغيرات والدوال. [ 2 ]
بينما كان MLISP مجرد معالج مسبق مع صيغة بديلة وأكثر سهولة في القراءة للغة Lisp، فقد قدم الإصدار اللاحق MLISP 2 مفاهيم جديدة: [ 3 ]
- تفسير تفاعلي للبرامج بدلاً من تجميعها
- إمكانية التوسع باستخدام لغة وصف بناء الجملة (انظر وحدات الماكرو الصحية )
- مطابقة الأنماط
- التراجع باستخدام الإغلاقات على المكدس والفهارس للاستمراريات [ 4 ]
أطلق مؤلفو لغة MLISP2 عليها اسم لغة انتقالية. قام لاري تيسلر بتحسين نظام مطابقة الأنماط لتنفيذ لغة لاحقة تُسمى LISP70 ، والتي لم تُستكمل إلا بنسخة أولية. على الرغم من أن هذا المسار من تطور لغة LISP مهمل على نطاق واسع، إلا أنه يُشابه بعض السمات التي وُجدت لاحقًا في لغتي ML وScheme. [ 5 ]
لغة M-LISP (MetaLISP) التي ابتكرها روبرت مولر هي لغة غير مرتبطة بلغة أخرى ظهرت بين عامي 1989 و1992. وكانت عبارة عن "لغة هجينة تجمع بين لغة M-expression LISP ولغة Scheme ". [ 6 ] [ 7 ]
انظر أيضاً
ظهرت تطبيقات متعددة للغات ليسب ذات الترميز الوسطي، واللغات الشبيهة بلغة ليسب أو المشتقة منها. ومن الأمثلة البارزة على ذلك:
مراجع
- ↑ إينيا، هوراس (1968) MLISP CS-TR-68-92.pdf
- ↑ سميث، ديفيد كانفيلد (1970) دليل مستخدمي MLISP Smith-MLISP-AIM-84.pdf (يوصى به أولاً)
- ↑ سميث، ديفيد كانفيلد وإينيا، هوراس ج. (1973) MLISP 2 CS-TR-73-356.pdf
- ↑ سميث، ديفيد كانفيلد وإينيا، هوراس ج. (1973) التراجع في MLISP2: طريقة فعالة للتراجع في LISP 074.pdf
- ↑ تيسلر، لورانس ج.، سميث، ديفيد كانفيلد وإينيا، هوراس ج. (1973) نظام مطابقة الأنماط LISP70 073.pdf
- ↑ مولر، روبرت (أكتوبر 1992). "M-LISP: لهجة مستقلة عن التمثيل من لغة LISP ذات دلالات اختزالية" . معاملات ACM في لغات وأنظمة البرمجة . 14 (4): 589-616 . CiteSeerX 10.1.1.40.4948 . doi : 10.1145/133233.133254 .
- ↑ مولر، روبرت (1989). ميتا ليسب: لهجة مستقلة عن التمثيل من لغة ليسب مع دلالات الاختزال (أطروحة دكتوراه).
- عائلة لغات البرمجة ليسب
