Einbettung in die funktionale Programmierung

Zusammenfassung

Die funktionale Programmierung ist die zweite Ausprägung des deklarativen Programmierparadigmas. Der gemeinsame Kern aller funktionalen Programmiersprachen ist der λ-Kalkül, der von A. Church entwickelt wurde. Er besteht aus einer Menge von Ausdrücken, die aus Basisoperationen durch Abstraktion, Applikation und Rekursion aufgebaut sind, und einer Menge von Ersetzungsregeln zur Transformation von Ausdrücken. Wesentliche Kennzeichen moderner funktionaler Programmiersprachen sind Funktionen höherer Ordnung, das polymorphe Typkonzept, die Möglichkeit des pattern matching und unendliche Datenstrukturen. Beispiele funktionaler Sprachen sind Lisp, ML, HOPE, Miranda und Haskell.