ماذا تعرف عن دالة من الدرجة العليا

في الرياضيات وعلم الحاسوب، تُعدّ الدالة من المرتبة الأعلى أو الدالة من الدرجة العليا (بالإنجليزية: Higher-order function) التي تُعرف اختصارًا بـ HOF، هي دالة تقوم على الأقل بأحد الأمور التالية:



تأخذ دالة أو أكثر كوسيط (أي معامل إجرائي، وهو وسيط في الدالة يكون بحد ذاته إجراء)،

تُرجع دالة كنتيجة.

جميع الدوال الأخرى تُعدّ دوال من المرتبة الأولى. في الرياضيات، تُسمى الدوال من المرتبة الأعلى أيضًا بالمؤثر أو الدالي. ويُعدّ المؤثر التفاضلي في التفاضل والتكامل مثالًا شائعًا، لأنه يُحوّل دالة إلى مشتقِ لها، وهي أيضًا دالة. لا ينبغي الخلط بين الدوال من المرتبة الأعلى وغيرها من الاستخدامات لكلمة "المؤثر" في الرياضيات، انظر دال.

في تكامل لامدا غير المُنمَّط، تكون جميع الدوال من المرتبة الأعلى؛ أما في تفاضل لامدا النمطي، الذي تشتق منه معظم لغات برمجة وظيفية، فإن الدوال من المرتبة الأعلى التي تأخذ دالة كوسيط تكون لها أنواع بالقالب التالي:







(



τ



1





→



τ



2





)

→



τ



3









{\displaystyle (\tau _{1}\to \tau _{2})\to \tau _{3}}



.