وظيفة مجهولة المصدر

في برمجة الحاسوب ، الدالة المجهولة (أو الدالة الحرفية ، أو دالة لامدا ، أو الكتلة ) هي تعريف دالة غير مرتبطة بمعرّف . غالبًا ما تُستخدم الدوال المجهولة كوسائط تُمرر إلى دوال من الرتبة العليا ، أو تُستخدم لإنشاء نتيجة دالة من الرتبة العليا تحتاج إلى إرجاع دالة. [ ^{1 ] إذا} استُخدمت الدالة مرة واحدة فقط، أو لعدد محدود من المرات، فقد تكون الدالة المجهولة أخفّ من الناحية التركيبية من استخدام دالة مُسماة. تنتشر الدوال المجهولة في لغات البرمجة الوظيفية وغيرها من اللغات التي تدعم الدوال من الدرجة الأولى ، حيث تؤدي نفس دور القيم الحرفية لأنواع البيانات الأخرى .

تعود أصول الدوال المجهولة إلى عمل ألونزو تشيرش في ابتكاره لحساب لامدا ، الذي تُعدّ فيه جميع الدوال مجهولة، عام 1936، قبل ظهور الحواسيب الإلكترونية. ^{[ 2 ]} في العديد من لغات البرمجة، تُعرّف الدوال المجهولة باستخدام الكلمة المفتاحية lambda ، وغالبًا ما يُشار إليها باسم لامدا أو تجريدات لامدا . وقد أصبحت الدوال المجهولة سمةً من سمات لغات البرمجة منذ لغة ليسب عام 1958، ويدعم عدد متزايد من لغات البرمجة الحديثة الدوال المجهولة.

تشير المصطلحات "التجريد اللامدا" و"دالة لامدا" و"تعبير لامدا" إلى ترميز تجريد الدوال في حساب التفاضل والتكامل اللامدا، حيث الدالة المعتادة${\displaystyle f(x)=M}$سيكتب${\displaystyle (\lambda xM)}$وحيث${\displaystyle M}$هو تعبير يستخدم${\displaystyle x}$قارن ذلك بصيغة بايثون الخاصة بـ .lambdax:M

يشير اسم "دالة السهم" إلى الرمز الرياضي " يُطابق إلى ".${\displaystyle x\mapsto M}$قارن ذلك بصيغة جافا سكريبت الخاصة بـ ^{[ 3 ]}x=>M

يمكن للدوال المجهولة أن تغلف وظائف لا تتطلب تسمية، وهي مخصصة للاستخدام قصير المدى أو المحدود. ومن الأمثلة البارزة على ذلك الدوال المغلقة (closures) والدوال الجزئية (currying) .

يُعدّ استخدام الدوال المجهولة مسألة أسلوبية، ولا يُمثّل استخدامها الحلّ الوحيد لأيّ مشكلة؛ إذ يُمكن تعريف كلّ دالة مجهولة كدالة مُسمّاة واستدعاؤها باسمها. غالبًا ما تُوفّر الدوال المجهولة صيغةً مختصرةً مقارنةً بتعريف الدوال المُسمّاة. في اللغات التي لا تسمح بتعريف الدوال المُسمّاة في النطاقات المحلية، قد تُوفّر الدوال المجهولة تغليفًا عبر النطاق المحلي، إلا أن الكود الموجود في جسم هذه الدوال المجهولة قد لا يكون قابلاً لإعادة الاستخدام أو للاختبار بشكل منفصل. قد تكون الدوال المجهولة القصيرة/البسيطة المُستخدمة في التعبيرات أسهل قراءةً وفهمًا من الدوال المُسمّاة المُعرّفة بشكل منفصل، مع العلم أن افتقارها إلى اسم وصفي قد يُقلّل من سهولة قراءة الكود.

في بعض لغات البرمجة، يتم تنفيذ الدوال المجهولة بشكل شائع لأغراض محددة للغاية مثل ربط الأحداث بردود الاتصال أو إنشاء الدالة لقيم معينة، وهو ما قد يكون أكثر كفاءة في لغة البرمجة الديناميكية ، وأكثر قابلية للقراءة، وأقل عرضة للأخطاء من استدعاء دالة مسماة.

الأمثلة التالية مكتوبة بلغة بايثون 3.

a : list [ str ] = [ "house" , "car" , " bike" ] a.sort ( key = lambda x : len ( x )) print ( a ) # يطبع ['car ' , 'bike', 'house']

lambda x : len ( x )

lambda arg1 , arg2 , arg3 , ... : < عملية على الوسائط تُرجع قيمة >​​

من typing استورد Callableدالة الجمع : دالة قابلة للاستدعاء [[ عدد صحيح ]، عدد صحيح ] = lambda a : a + a print ( add ( 20 )) # تطبع 40

a : list [ int | str ] = [ 10 , " number" , 11.2 ] a.sort ( key = lambda x : x .__ class __.__ name__ ) print ( a ) # يطبع [11.2, 10, 'number' ]

دالة comp ( threshold : int ) -> Callable [[ int ], bool ]: return lambda x : x < threshold

func_a : Callable [[ int ], bool ] = comp ( 10 ) func_b : Callable [[ int ], bool ] = comp ( 20 )print ( func_a ( 5 ), func_a ( 8 ), func_a ( 13 ), func_a ( 21 )) # يطبع True True False Falseprint ( func_b ( 5 ), func_b ( 8 ), func_b ( 13 ), func_b ( 21 )) # يطبع True True True False

دالة القسمة ( س : عدد صحيح ، ص : عدد صحيح ) -> عدد عشري : تُرجع س / صدالة divisor ( d : int ) -> Callable [[ int ], float ]: return lambda x : divide ( x , d )half : Callable [[ int ], float ] = divisor ( 2 ) third : Callable [[ int ], float ] = divisor ( 3 )print ( half ( 32 ), third ( 32 )) # يطبع 16.0 10.666666666666666print ( half ( 40 ), third ( 40 )) # يطبع 20.0 13.333333333333334

a : list [ int ] = [ 1 , 2 , 3 , 4 , 5 , 6 ] print ( list ( map ( lambda x : x * x , a ))) # يطبع [1, 4, 9, 16, 25, 36]

a : list [ int ] = [ 1 , 2 , 3 , 4 , 5 , 6 ] print ([ x * x for x in a ]) # يطبع [1, 4, 9, 16, 25, 36]

a : list [ int ] = [ 1 , 2 , 3 , 4 , 5 , 6 ] print ( list ( filter ( lambda x : x % 2 == 0 , a ))) # يطبع [2, 4, 6]

a : list [ int ] = [ 1 , 2 , 3 , 4 , 5 , 6 ] print ([ x for x in a if x % 2 == 0 ]) # يطبع [2, 4, 6]

a : list [ int ] = [ 1 , 2 , 3 , 4 , 5 ] print ( functools.reduce ( lambda x , y : x * y , a ) ) # يطبع 120

فيما يلي قائمة بلغات البرمجة التي تدعم الدوال المجهولة غير المسماة بشكل كامل، أو جزئياً كنوع من أنواعها، أو لا تدعمها على الإطلاق.

يوضح الجدول التالي عدة أنماط شائعة. ومن الجدير بالذكر أن لغات مثل C وباسكال وأوبجكت باسكال - التي لا تدعم تقليديًا الدوال المجهولة - هي لغات ذات كتابة ثابتة . ومع ذلك، يمكن للغات ذات الكتابة الثابتة دعم الدوال المجهولة. على سبيل المثال، لغات ML ذات كتابة ثابتة وتتضمن أساسًا دوالًا مجهولة، وقد تم توسيع لغة دلفي ، وهي لهجة من أوبجكت باسكال ، لدعم الدوال المجهولة، وكذلك لغة C++ (بموجب معيار C++11 ). ثانيًا، اللغات التي تعامل الدوال كدوال من الدرجة الأولى ( ديلان ، هاسكل ، جافا سكريبت ، ليسب ، ML ، بيرل ، بايثون ، روبي ، سكيم ) تدعم عمومًا الدوال المجهولة بحيث يمكن تعريف الدوال وتمريرها بسهولة مثل أنواع البيانات الأخرى.

قائمة اللغات

لغة	يدعم	ملحوظات
أكشن سكريبت	Y
آدا	Y	تُعد وظائف التعبير جزءًا من Ada2012، الوصول إلى البرامج الفرعية [ 4 ]
ALGOL 68	Y
APL	Y	تدعم لغات البرمجة Dyalog و ngn و dzaima APL بشكل كامل كلاً من الدوال المعرفة بالأسماء (dfns) والدوال الضمنية (tacip). أما لغة GNU APL فتدعم الدوال المعرفة بالأسماء (dfns) بشكل محدود.
لغات التجميع	شمال
AHK	Y	منذ الإصدار الثاني من AutoHotkey، يتم دعم الدوال المجهولة بصيغة مشابهة لـ JavaScript.
سحق	Y	تم إنشاء مكتبة لدعم الوظائف المجهولة في Bash. [ 5 ]
ج	شمال	يُوفّر الدعم في Clang ومع مكتبة LLVM compiler-rt. كما يُوفّر دعم GCC لتنفيذ الماكرو الذي يُتيح إمكانية الاستخدام. انظر أدناه لمزيد من التفاصيل.
سي شارب	Y	[ 6 ]
لغة سي++	Y	وفقًا لمعيار C++11
CFML	Y	اعتبارًا من Railo 4، [ 7 ] ColdFusion 10 [ 8 ]
كلوجر	Y	[ 9 ]
كوبول	شمال	تدعم لغة البرمجة غير القياسية Managed COBOL الخاصة بشركة Micro Focus الدوال المجهولة (lambda)، والتي تسمى المندوبين/الأساليب المجهولة. [ 10 ]
حليقة	Y
د	Y	[ 11 ]
دارت	Y	[ 12 ]
دلفي	Y	[ 13 ]
ديلان	Y	[ 14 ]
إيفل	Y
إلم	Y	[ 15 ]
إكسير	Y	[ 16 ]
إرلانغ	Y	[ 17 ]
فا#	Y	[ 18 ]
إكسل	Y	وظيفة ورقة عمل Excel، الإصدار التجريبي لعام 2021 [ 19 ]
عامل	Y	"الاقتباسات" تدعم هذا [ 20 ]
فورتران	شمال
فرينك	Y	[ 21 ]
يذهب	Y	[ 22 ]
جوسو	Y	[ 23 ]
رائع	Y	[ 24 ]
هاسكل	Y	[ 25 ]
هاكس	Y	[ 26 ]
جافا	Y	مدعوم منذ Java 8 .
جافا سكريبت	Y	[ 27 ]
جوليا	Y	[ 28 ]
كوتلين	Y	[ 29 ]
التلعثم	Y
لغة الاتصال	Y
لغة لوا	Y	[ 30 ]
النكاف	شمال
خشب القيقب	Y	[ 31 ]
MATLAB	Y	[ 32 ]
ماكسيما	Y	[ 33 ]
نيم	Y	[ 34 ]
أوكاميل	Y	[ 35 ]
أوكتاف	Y	[ 36 ]
أوبجكت باسكال	Y	تدعم لغة دلفي، وهي لهجة من لغة أوبجكت باسكال، الدوال المجهولة (بشكل رسمي، الطرق المجهولة ) بشكل أصلي منذ إصدار دلفي 2009. كما تدعمها لهجة أوكسيجين أوبجكت باسكال أيضًا.
Objective-C (Mac OS X 10.6+)	Y	تسمى الكتل ؛ بالإضافة إلى Objective-C، يمكن أيضًا استخدام الكتل في C و C++ عند البرمجة على منصة Apple.
أوبن سكا	Y	تم تقديم دعم الدوال الحرفية مع الإصدار 2021.01. [ 37 ]
باسكال	شمال
بيرل	Y	[ 38 ]
PHP	Y	ابتداءً من الإصدار 5.3.0 من PHP، أصبح استخدام الدوال المجهولة الحقيقية مدعومًا. [ 39 ] سابقًا، كان الدعم مقتصرًا على الدوال المجهولة الجزئية، والتي كانت تعمل بشكل مشابه لتطبيق لغة C#.
PL/I	شمال
بايثون	Y	يدعم بايثون الدوال المجهولة من خلال بناء جملة لامدا، [ 40 ] والتي تدعم التعبيرات فقط، وليس العبارات.
R	Y
مضرب	Y	[ 41 ]
راكو	Y	[ 42 ]
ريكس	شمال
لعبة تقمص الأدوار	شمال
روبي	Y	تُسمى الدوال المجهولة في لغة روبي، الموروثة من لغة سمول توك ، بالكتل . [ 43 ]
الصدأ	Y	[ 44 ]
سكالا	Y	[ 45 ]
مخطط	Y
أحاديث قصيرة	Y	تُسمى الدوال المجهولة في لغة سمول توك بالكتل .
لغة الآلة القياسية	Y	[ 46 ]
سويفت	Y	تُسمى الدوال المجهولة في لغة Swift بالدوال المغلقة. [ 47 ]
تايب سكريبت	Y	[ 48 ]
كاتب	Y	[ 49 ]
تي سي إل	Y	[ 50 ]
فالا	Y	[ 50 ]
فيجوال بيسك دوت نت الإصدار 9	Y	[ 51 ]
Visual Prolog الإصدار 7.2	Y	[ 52 ]
لغة وولفرام	Y	[ 53 ]
زيج	شمال	[ 54 ]

• وظيفة من الدرجة الأولى
• تعريف حساب لامدا

• الأساليب المجهولة - متى ينبغي استخدامها؟ (مدونة حول الدوال المجهولة في دلفي)
• تجميع تعابير لامدا: سكالا مقابل جافا 8
• دوال PHP المجهولة
• وظائف لامدا في لغات البرمجة المختلفة
• الدوال في لغة Go