Curry: Applications pas à pas

Cette séance de cours introduit le concept de curry, qui permet de définir des fonctions qui retournent des fonctions. Il couvre les applications successives de fonctions, les applications consécutives sans fonctions intermédiaires et l'expansion de plusieurs listes de paramètres. La séance de cours explique également l'histoire du curry et sa relation avec la logique. Les exercices pratiques comprennent lécriture de fonctions factorielles et factorielles, et la généralisation de la somme et du produit.