في برمجة الحاسوب، تعد الدالة المجهولة Anonymous function ( دالة حرفية ، أو تجريد لامدا ، أو تعبير لامدا lambda expression) تعريف دالة لا يرتبط بمعرف. غالبًا ما تكون الدوال المجهولة قيمًا تمرر إلى دالات أعلى مرتبة، أو تُستخدم لإنشاء نتيجة لدالة أعلى رتبةً تحتاج إلى إرجاع دالة. إذا تم استخدام الدالة مرة واحدة فقط، أو لعدد محدود من المرات، فقد تكون الدالة المجهولة أخف من حيث البنية من استخدام دالة مسماة. الدوال المجهولة موجودة في كل مكان في لغات البرمجة الوظيفية (دالية) ولغات أخرى بدوال من الصنف الأولى، حيث تؤدي نفس الدور الذي تؤديه نوع الدالة كما تفعل الحرفيات لأنواع البيانات الأخرى.
نشأت الدوال المجهولة في عمل عالم الرياضيات ألونزو تشرتش في اختراعه لحساب تفاضل وتكامل لامبدا، حيث تكون جميع الدوال مجهولة، وذلك في عام 1936، أي قبل أجهزة الحاسوب الإلكترونية. في العديد من لغات البرمجة، يتم تقديم دوال مجهولة باستخدام الكلمة الرئيسية لامدا lambda، وغالبًا ما يشار إلى الدوال المجهولة باسم لامبدا أو تجريدات لامدا. كانت الدوال المجهولة سمة من سمات لغات البرمجة منذ عام 1958في لغة ليسب، وهناك عدد متزايد من لغات البرمجة الحديثة التي تدعم الدوال المجهولة.