Épisode

Conférences C9 : Dr Erik Meijer - Principes de base de la programmation fonctionnelle chapitre 6 de 13

Dans le chapitre 6, le Dr Meijer nous guide dans le monde des fonctions récursives. Dans Haskell, les fonctions peuvent être définies en termes d’eux-mêmes. Ces fonctions sont appelées récursives.

Par exemple :

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

factorial mappe 0 à 1, et tout autre entier positif au produit de lui-même et à la factorielle de son prédécesseur.

Certaines fonctions, telles que factorielles, sont plus simples à définir en termes d’autres fonctions. Comme nous le verrons, cependant, de nombreuses fonctions peuvent naturellement être définies en termes d’eux-mêmes.

Les propriétés des fonctions définies à l’aide de la récursivité peuvent être prouvées à l’aide de la technique mathématique simple mais puissante de l’induction.

Vous devez les observer en séquence (ou ignorer en fonction de votre niveau de connaissances guérissant dans ce domaine) :

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