Séance de cours
Codage de la récursivité comme auto-application
Dans cours
DEMO: cupidatat fugiat do
Nostrud magna reprehenderit amet quis ex ad eiusmod Lorem laborum voluptate consectetur in aute et. Aute excepteur esse officia dolor aliquip veniam enim. Dolor esse culpa aute in ut proident incididunt amet.
Description
Cette séance de cours présente le calcul lambda comme un langage minimal pour exprimer la récursion, démontrant comment la récursion peut être codée en utilisant des fonctions d'ordre supérieur. Il explore le concept de fonctions de première classe subsumant la récursion et vers une forme générale de codage de fonction récursive.
Enseignants (2)
do consectetur
Duis non aute ex Lorem mollit ut anim. Irure nisi consectetur duis proident. Quis occaecat Lorem veniam ipsum Lorem irure occaecat nisi proident cillum eu amet velit. Eiusmod tempor esse mollit in ut duis ullamco reprehenderit reprehenderit incididunt amet dolore. Magna id labore sint irure in fugiat officia nulla duis pariatur ullamco deserunt reprehenderit. Consequat laborum culpa aliqua velit elit enim eiusmod quis. Minim aute pariatur est id fugiat commodo ex id fugiat ad.
et consequat
Labore sint do aute consectetur culpa culpa pariatur anim ad tempor. Dolore proident amet incididunt consectetur et quis nisi tempor. Eu excepteur minim occaecat dolore.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique
Séances de cours associées (33)
Le calcul Lambda et la sécurité des types: un aperçu
Fournit un aperçu du calcul lambda, de la sécurité de type et de l'inférence de type dans les langages de programmation.
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.
Lambda Calculus: Syntaxe et Abstractions
Introduit des termes, des abstractions, des applications et des valeurs dans le calcul lambda.
Séance papier et stylo: Lambda Calculus Proofs
Plonge dans Lambda Calculus preuves, mettant l'accent sur l'induction structurelle et la manipulation variable.
Lambda Calculus: Numéros d'église
Explore les chiffres de l'église, les booléens, les paires, la récursion et l'équivalence comportementale dans Lambda Calculus.