Séance de cours

Fonctions récursives : Interprète de substitution

Description

Cette séance de cours couvre la mise en œuvre de fonctions récursives en utilisant des substitutions et des environnements, y compris la gestion des définitions de fonctions récursives, l'évaluation basée sur la substitution et le concept de substitution. L'interpréteur est démontré avec des exemples comme factorielle et la division, montrant la capacité d'exécuter des fonctions calculables et encoder les structures de données.

À 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.