Épisode
Conférences C9 : Dr Erik Meijer - Principes de base de la programmation fonctionnelle Chapitre 6 sur 13
Au chapitre 6, le Dr Meijer nous guide à travers le monde des fonctions récursives. Dans Haskell, les fonctions peuvent être définies en termes d’elles-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 lui-même et à la factorielle de son prédécesseur.
Certaines fonctions, telles que la factorielle, sont plus simples à définir en termes d’autres fonctions. Cependant, comme nous le verrons, de nombreuses fonctions peuvent naturellement être définies en fonction d’elles-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 watch dans l’ordre (ou ignorer selon votre niveau de connaissances dans ce domaine) :
Chapitre 1Chapitre 2Chapitre 3Chapitre 4 Chapitre 5Chapitre 6Chapitre 7Chapitre 8Chapitre 9 Chapitre10Chapitre 11Chapitre 12Chapitre 13
Au chapitre 6, le Dr Meijer nous guide à travers le monde des fonctions récursives. Dans Haskell, les fonctions peuvent être définies en termes d’elles-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 lui-même et à la factorielle de son prédécesseur.
Certaines fonctions, telles que la factorielle, sont plus simples à définir en termes d’autres fonctions. Cependant, comme nous le verrons, de nombreuses fonctions peuvent naturellement être définies en fonction d’elles-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 watch dans l’ordre (ou ignorer selon votre niveau de connaissances dans ce domaine) :
Chapitre 1Chapitre 2Chapitre 3Chapitre 4 Chapitre 5Chapitre 6Chapitre 7Chapitre 8Chapitre 9 Chapitre10Chapitre 11Chapitre 12Chapitre 13
Vous voulez donner votre avis ? Soumettez un défi ici.