Épisode
Conférences C9 : Dr Erik Meijer - Principes de base de la programmation fonctionnelle chapitre 6 sur 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 d’induction.
Vous devez observer ces éléments en séquence (ou ignorer selon votre niveau de connaissances guérissant dans ce domaine) :
Chapitre 1Chapitre 2Chapitre 3Chapitre 4 Chapitre 5Chapitre 6Chapitre 7Chapitre 8Chapitre 9Chapitre 10Chapitre 11Chapitre 12Chapitre 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 d’induction.
Vous devez observer ces éléments en séquence (ou ignorer selon votre niveau de connaissances guérissant dans ce domaine) :
Chapitre 1Chapitre 2Chapitre 3Chapitre 4 Chapitre 5Chapitre 6Chapitre 7Chapitre 8Chapitre 9Chapitre 10Chapitre 11Chapitre 12Chapitre 13
Vous voulez donner votre avis ? Soumettez un défi ici.