Effectivement, je ne vois pas trop où tu veux en venir.
Apparemment ton sujet (d'après le lien que tu fournis) est d'écrire un compilateur pour un sous-ensemble du C. L'analyse syntaxique et la construction de l'AST est déjà faite, tu dois juste t'occuper de la génération du code assembleur. Avec ces contraintes, je ne vois toujours pas où est la nécessité de recourir au monad reader, ni à des extensions ou bibliothèques tierces.
Cet ouvrage (Le langage Caml) pourrait te donner des pistes de réflexions, en particulier les chapitres suivants :
Chap 14 : Simulation d'un processeur (développement d'un simulateur de pico-processeur de type RISC avec son langage d'assemblage)
Chap 15 : Compilation de mini-Pascal (compilation d'un sous-ensemble de Pascal pour le processeur du chapitre précédent)
Partie III : Implémentation en Caml d'un langage mini-Caml (ou l'art du bootstrapping)
Le livre date un peu, 1993 (deuxième édition de 2009), mais les problématiques abordées collent parfaitement à ton problème; de plus les auteurs sont : Pierre Weis et Xavier Leroy (le BDFL d'OCaml). ;-)
En espérant que cela te soit utile pour ton projet.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Méconnaissance
Posté par kantien . En réponse au journal Compilateur et Monad Reader. Évalué à 1. Dernière modification le 25 novembre 2015 à 15:04.
Effectivement, je ne vois pas trop où tu veux en venir.
Apparemment ton sujet (d'après le lien que tu fournis) est d'écrire un compilateur pour un sous-ensemble du C. L'analyse syntaxique et la construction de l'AST est déjà faite, tu dois juste t'occuper de la génération du code assembleur. Avec ces contraintes, je ne vois toujours pas où est la nécessité de recourir au monad reader, ni à des extensions ou bibliothèques tierces.
Cet ouvrage (Le langage Caml) pourrait te donner des pistes de réflexions, en particulier les chapitres suivants :
Le livre date un peu, 1993 (deuxième édition de 2009), mais les problématiques abordées collent parfaitement à ton problème; de plus les auteurs sont : Pierre Weis et Xavier Leroy (le BDFL d'OCaml). ;-)
En espérant que cela te soit utile pour ton projet.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.