لغة Unlambda هي لغة برمجة وظيفية حداثية ومنحفظة تقريباً، تم ابتكارها من قبل ديفيد مادور. تم إطلاقها لأول مرة في عام 1999، وهي تعتمد على المنطق المجموعي، وهو إصدار من حساب اللامبدا يُغفل فيه عامل اللامبدا. تعتمد اللغة أساساً على وجود وظيفتين مدمجتين (s و k)، بالإضافة إلى عامل التطبيق (الذي يُكتب بالعلامة الخلفية، ‘). هذه الوظائف وحدها تجعل اللغة قابلة للبرمجة بشكل كامل باستخدام مفهوم التفاضل، ولكن هناك أيضاً بعض وظائف الإدخال / الإخراج لتمكين التفاعل مع المستخدم، وبعض الوظائف الاختصارية، ووظيفة التقدير الكسول. لا تدعم اللغة المتغيرات. تُعتبر Unlambda برمجية حرة ومفتوحة المصدر، وتُوزع تحت ترخيص جنو العام العمومي (GPL) 2.0 أو الإصدارات اللاحقة.
تتميز Unlambda بوجود تعليقات السطر ووظائف الإدخال / الإخراج، مما يجعلها مناسبة لإنشاء برامج تفاعلية. ومع ذلك، لا توفر اللغة تقنيات التعليق اللغوي السماني أو التعليقات السطرية. يمكن الاستفادة من عمليات التعليق باستخدام الرمز المحدد (#).
يمكن العثور على مزيد من المعلومات عن Unlambda على صفحتها على ويكيبيديا هنا.
من المهم أن نلاحظ أن Unlambda ليست شائعة الاستخدام في المشاريع البرمجية التجارية أو الويب، ولكنها تعتبر تحفة فنية في عالم البرمجة، وتستخدم في الغالب لأغراض تعليمية وتجريبية لفهم مبادئ البرمجة الوظيفية والمنطق المجموعي.