Eine Funktion höherer Ordnung ist in der Mathematik bzw.
Theoretischen Informatik eine
Funktion, die Funktionen als Argumente erhält 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 in der Gleichmächtigkeit der Funktionenräume und für beliebige Mengen .
Mehr unter Wikipedia.org...