Episode

C9 Vorträge: Dr. Erik Meijer - Funktionale Programmierung Grundlagen Kapitel 6 von 13

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

Beispiel:

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

Factorial ordnet 0 bis 1 und jede andere positive ganze Zahl dem Produkt von sich selbst und der Faktorial seines Vorgängers zu.

Einige Funktionen, z. B. Factorial, sind einfacher in Bezug auf andere Funktionen zu definieren. 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 (oder überspringen, abhängig von Ihrem wissensabhängigen Niveau in diesem Fall Standard):

Kapitel 1Kapitel 2Kapitel 3Kapitel 4 Kapitel 5Kapitel 6Kapitel 7Kapitel 8Kapitel 9Kapitel 10Kapitel 11 Kapitel 11Kapitel 12Kapitel 13

Haskell