Implementation of functional programming languages

In Programmiersprachen bezeichnet Defunktionalisierung eine Transformation zur Kompilierzeit , die Funktionen höherer Ordnung eliminiert und sie durch eine einzige apply- Funktion erster Ordnung ersetzt.

In der funktionalen Programmierung bezeichnet der Continuation-Passing Style ( CPS ) einen Programmierstil, bei dem die Programmsteuerung explizit in Form einer Continuation übergeben wird .

In der Informatik bezeichnet man als Endrekursion einen Unterprogrammaufruf , der als letzter Schritt einer Prozedur ausgeführt wird.

Ein Superkombinator ist ein vollständig gebundener und in sich abgeschlossener mathematischer Ausdruck . Er kann entweder eine Konstante oder ein Kombinator sein , dessen Teilausdrücke allesamt Superkombinatoren sind.

In der Informatik bezeichnet man als partielle Anwendung (oder partielle Funktionsanwendung ) das Verfahren, bei dem eine bestimmte Anzahl von Argumenten einer Funktion festgelegt wird, um eine Funktion mit geringerer