Fold (higher-order function)

Applied sciences
Génie informatique
Programmation informatique
Programmation fonctionnelle

Science formelle
Informatique théorique
Théorie des langages de pro...
Langage de programmation de...

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (32)

Connectez-vous pour filtrer par séance de cours

Page 1 sur 4

Polymorphisme et preuves

Couvre le polymorphisme paramétrique, énumère la construction, les tuples, les méthodes génériques, le tri de fusion et les propriétés du programme.

Réduction des listes

Couvre la réduction des listes en utilisant des opérateurs comme sum et product, ainsi que les implémentations et les différences entre reduceLeft, foldLeft, foldRight et reduceRight.

Recherche combinatoire: Pour-Expressions

Explore l'utilisation de for-expressions dans Scala pour simplifier les calculs et résoudre des problèmes comme la recherche combinatoire et N-Queens.

Recherche combinatoire et for-expressions

Explore la recherche combinatoire et introduit for-expressions comme un moyen plus intuitif de manipuler des listes dans Scala.

Séquences infinies: Paresse

Couvre les listes paresseuses, les séquences infinies, les nombres premiers et les défis de traitement des listes.

Fonctions d'ordre supérieur utilisant des substitutions naïves

Explore les fonctions d'ordre supérieur, les environnements, l'évaluation à l'aide de la substitution et des exemples tels que double factorielle.

Éviter la capture variable

Explore la capture de variables dans les fonctions d'ordre supérieur et l'importance du renommage des variables.

Fonctions de liste d'ordres supérieurs

Couvre les modèles récurrents pour les calculs sur les listes utilisant des fonctions d'ordre supérieur.

Fonctions de commande supérieure: Lambda

Explore les fonctions d'ordre supérieur et les expressions lambda en Python, montrant leurs applications pratiques et syntaxe concise.

Programmation fonctionnelle en Python

Couvre les concepts de programmation fonctionnelle en Python, montrant des listes de filtrage basées sur des critères spécifiques.