Mes Projets Informatiques
Informatique II : Devoir de Programmation Fonctionnelle (CAML)
Durant ma formation d'ingénieur, j'ai suivi des cours de Programmation Fonctionnelle. Il a alors été question de manipuler des λ-termes afin de les calculer, évaluer et simplifier. En outre, un terme en λ-calcul peut être traduit dans un langage proche utilisant ce qu’on appelle des combinateurs. On entre alors dans la logique combinatoire. Ainsi, il nous a été proposé pour ce devoir de créer un compilateur en CAML qui transforme un terme de λ-calcul en code combinateur.
Pour davantage de description, le rapport de ce devoir est disponible ici. Il est divisé en plusieurs parties afin de rendre compte du travail effectué par mon binôme et moi. Complet, je vous en recommande fortement sa lecture car il permet de vraiment de rendre compte de ce qu'un langage comme CAML peut permettre de faire.
