Die funktionale Programmierung ist eine Methode des Programmierens, die sich in Programmen mit einer bestimmten (hier beschriebenen) Struktur äussert.

C, Java, Pascal, Ada, usw. sind imperative Programmiersprachen. Ein imperatives Programm ist eine Liste von Anweisungen, die nacheinander auf dem Comupter ausgeführt werden und den Zustand des Computers (Speicher,Register,…) ändern. Ein funktionales Programm ist ein einzelner Ausdruck der beim Ausführen zu seinem Wert ausgewertet wird. Ein funktionales Programm beschreibt das "Was" (der Wert des Ausdrucks) und nicht das "Wie" (Anweisungen an eine Maschine).