Vous trouverez ici les sujets des TD. Chaque TD consiste à comprendre et construire une brique supplémentaire du compilateur étudié en cours, afin d'obtenir un compilateur complet au dernier TD. Les TD suivent approximativement l'ordre des langages intermédiaires du compilateur.
Ces TD supposent une bonne connaissance d'OCaml, le langage dans lequel le compilateur du cours est implémenté. Si besoin, consultez le cours d'initiation à OCaml de David Monniaux. Pour les curieux, voici un livre très poussé sur OCaml qui le situe par rapport aux autres langages et un livre en ligne de référence sur le développement en OCaml.
La documentation de la bibliothèque standard OCaml vous sera souvent utile.
Vous pouvez choisir votre éditeur parmi ceux déjà installés sur les machines de la salle info : vim, emacs, xemacs, eclipse, kwrite... Nous vous conseillons d'utiliser vim ou xemacs, pour lesquels un mode OCaml est disponible (coloration du code, indentation automatique...). Voici des tutoriels pour vim et emacs.