Ateliers

abstraction concrète

Introduction


Introduction aux ateliers.

Fonctions d'ordre supérieur

Rappels mathématiques élémentaires à propos des fonctions. Définition d'une fonction, fonction identique, composition de fonctions. Un exemple d'application de la transformation des fonctions (la curryfication) aux fonctions logiques.

Langages

Quelques notions de langages formels.

Automates

Une présentation sommaire du concept d'automate. Préalablement, voir la notion de langage formel.

Grammaires

Une présentation sommaire du concept de grammaire. Préalablement, voir les notions de langage formel et d'automate.

Le polymorphisme

Etude d'une fonction polymorphe, et des mécanismes de typage et d'évaluation déclenchés par une application de la fonction étudiée.

Transformation de fonctions

Un peu d'algèbre des programmes dans la construction de nouvelles fonctions à partir de leur définition. Une approche Caml de la récursivité à partir des résultats du lambda calcul.

Lambda calcul

Un atelier simple et complet de réalisation d'un convertisseur d'expressions Caml en lambda-expressions (expression du lambda calcul).

Les combinateurs

Un atelier simple et complet de construction d'un convertisseur de lambda-expressions en expressions de combinateurs, avec étude de l'optimisation et de la réduction.

Analyse lexicale

Exemple simple de programme d'analyse lexicale pour le traitement de textes composées à partir de quatre lexèmes : Dans cet exemple, l'analyse d'une expression donne une liste de lexèmes.

Analyse syntaxique

Exemple simple de programme d'analyse syntaxique pour le traitement des structures syntaxiques construites à partir des quatre lexèmes de l'analyse lexicale. Dans cet exemple, l'analyse d'une expression donne un arbre syntaxique.

dernière modification : 06/12/96