Funktionale Programmiersprache

Man unterscheidet zwei Arten funktionaler Programmiersprachen:

streng applikative Programmiersprachen und
streng funktionale Programmiersprachen.

Streng applikativen Programmiersprachen liegt der Lambda-Kalkül zugrunde. Neue Funktionen werden durch Abstraktion eines Ausdrucks über Variable erzeugt.

Eine applikative Programmiersprache ist Lisp.

Ein exotischer Seitenzweig ist die funktionale Geometrie.
 
Applikative Programmiersprachen können implementiert werden durch:

die SECD-Maschine,
Kombinator-Reduktion,
Graphen-Reduktion.


Streng funktionale Programmiersprachen ermöglichen die Einführung neuer Funktionen durch die Anwendung Funktionen höherer Ordnung, d.h. Funktionen, deren Argumente oder Resultat wiederum Funktionen sind, auf bereits bekannte Funktionen.

Ein Beispiel für eine streng funktionale Sprache ist FP.