Fonctions d'ordre supérieur: Théorie de l'unification

Dans cours

Mollit amet exercitation sunt eiusmod reprehenderit fugiat occaecat consectetur sint amet proident aute nulla laboris. Id anim sunt occaecat aliqua incididunt sint sit consectetur do enim ad. Sunt culpa eu veniam nostrud sint consectetur occaecat enim exercitation. Fugiat laborum labore sint dolore eu et pariatur Lorem. Ullamco duis duis ullamco velit. Ullamco duis elit nostrud occaecat non laborum quis.

Description

Cette séance de cours couvre les fonctions d'ordre élevé, l'analyseur et les concepts de vérificateur de type. Il explique l'évaluation paresseuse, l'algorithme d'unification, le jouet hissé, la représentation des lambdas, les fonctions hissées, l'appel lambda et les variables fermées.

Connectez-vous pour regarder la vidéo

Enseignant

dolore mollit magna

Aute voluptate magna in aliquip sint do fugiat qui duis voluptate mollit reprehenderit. Tempor ipsum velit duis laboris anim. Pariatur incididunt do pariatur exercitation fugiat do. Ut reprehenderit id consectetur ut reprehenderit exercitation tempor cillum id veniam ad. Enim id amet proident sint voluptate enim irure.

Connectez-vous pour voir cette section

Source officielle

https://mediaspace.epfl.ch/media/0_2shcb7kn

À 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

Informatique théorique

Théorie des langages de programmation: Langage de programmation de haut niveau, Théorie des types

Génie informatique

Programmation informatique: Compilateur

Séances de cours associées (37)