لغة البرمجة المعروفة باسم “untyped λ-calculus” هي لغة برمجة تقوم على نظرية الحساب اللامُنَوَّعة (λ-calculus)، وهي إحدى اللغات التي تدعم البرمجة الوظيفية والتي تعتمد بشكل كامل على المفاهيم الرياضية في نمذجة الحساب. تم تقديمها لأول مرة في عام 2013، وتُصنف تحت فئة اللغات الوظيفية.
تتميز untyped λ-calculus بعدم وجود تحديد لأنواع البيانات، مما يعني أنها لا تتضمن أي نوع محدد للمتغيرات أو الوظائف. هذا يجعلها لغة غير موجهة نحو أنواع البيانات (untyped)، حيث يمكن استخدام المتغيرات والدوال بحرية دون تحديد أي نوع.
تستخدم untyped λ-calculus استراتيجيات تقييم متعددة، مما يعني أنه يمكن تقييم التعبيرات بطرق مختلفة مثل التقييم الذي يميناً (call-by-value) والتقييم الذي يساراً (call-by-name)، مما يسمح بتعامل مرن مع البيانات والدوال.
تتيح untyped λ-calculus استخدام التعليقات في الكود، مما يسهل فهمه وصيانته، وتحديد التنسيق الداخلي للكود باستخدام التنسيق الدلالي (semantic indentation)، مما يجعل الكود أكثر قابلية للقراءة والفهم.
يمكن العثور على مزيد من المعلومات حول untyped λ-calculus على موقع PL Zoo، والذي يوفر وصلات ومعلومات مفصلة عن هذه اللغة برمجة، بالإضافة إلى مصادر أخرى على الإنترنت.