Episode

C9 Vorlesungen: Dr. Erik Meijer - Funktionale Programmierung Grundlagen Kapitel 6 von 13

In Kapitel 6 führt Dr. Meijer uns durch die Welt rekursiver Funktionen. In Haskell können Funktionen in Bezug auf sich selbst definiert werden. Solche Funktionen werden rekursiv genannt.

Beispiel:

Faktorial 0 = 1
Factorial (n+1) = (n+1) * Factorial n

Factorial ordnet 0 bis 1 und alle anderen positiven Ganzzahlen dem Produkt selbst und dem Faktor des Vorgängers zu.

Einige Funktionen, z. B. Faktorial, sind einfacher zu definieren in Bezug auf andere Funktionen. Wie wir sehen werden, können viele Funktionen natürlich selbst definiert werden.

Eigenschaften von Funktionen, die mithilfe von Rekursion definiert werden, können mithilfe der einfachen, aber leistungsstarken mathematischen Technik der Induktion nachgewiesen werden.

Sie sollten diese in Sequenz sehen (oder überspringen, je nach Ihrem Wissensgrad in dieser Domäne):

Kapitel 1Kapitel 2 Kapitel 3 Kapitel 4 Kapitel 5Kapitel 6 Kapitel7Kapitel 8 Kapitel9 Kapitel 10 Kapitel 11 Kapitel 11 Kapitel 12 Kapitel 13