Funktion höherer Ordnung

Eine Funktion höherer Ordnung (englisch higher-order function) ist in der Informatik eine Funktion, die Funktionen als Argumente erhält und/oder Funktionen als Ergebnis liefert. Der Begriff wird insbesondere im Lambda-Kalkül verwendet, der theoretischen Grundlage der Funktionalen Programmierung. Dort ist er eng mit dem Currying verbunden, einem Verfahren, das Funktionen mit mehreren Argumenten in mehrere einparametrige Funktionen umwandelt. Diese Transformation hat ihre Grundlage darin, dass für beliebige Mengen die Funktionenräume und miteinander identifiziert werden können. Folgende Funktion stellt ein Beispiel für eine Funktion höherer Ordnung dar: Diese Funktion bildet jeden reellen -Wert auf eine Funktion ab, die eine (übergebene) natürliche Zahl zu addiert. Beispielsweise ist . wird wiederum auf abgebildet. Beispielsweise ist . Aus dem Lambda-Kalkül stammt der . ist für alle konstant. Ein bekanntes Beispiel für eine Funktion höherer Ordnung ist der Differentialoperator, weil er Funktionen auf Funktionen abbildet (Ableitung und Stammfunktion). Weitere wichtige Beispiele sind die so genannten Distributionen. Im Fall mit ist ein -Vektorraum und daher ist ein Funktional.