C'est un projet de son cursus, il a donné le lien dans ce message. Il doit juste écrire le code qui transforme l'AST en code assembleur.
L'archive du projet est disponible là, et il faut écrire le fichier compile.ml dont l'interface est imposée par le fichier compile.mli.
Je lui ai conseillé ce livre pour voir comment ils s'y prenaient pour convertir un AST en assembleur (d'où les chapitres 14 et 15). Je ne vois pas l'intérêt de passer par des monades pour faire cela en OCaml.
Comme il est en L3 à l'ENS, je ne crois pas que la théorie des catégories soit encore au programme.
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 à 21:39.
C'est un projet de son cursus, il a donné le lien dans ce message. Il doit juste écrire le code qui transforme l'AST en code assembleur.
L'archive du projet est disponible là, et il faut écrire le fichier
compile.mldont l'interface est imposée par le fichiercompile.mli.Je lui ai conseillé ce livre pour voir comment ils s'y prenaient pour convertir un AST en assembleur (d'où les chapitres 14 et 15). Je ne vois pas l'intérêt de passer par des monades pour faire cela en OCaml.
Comme il est en L3 à l'ENS, je ne crois pas que la théorie des catégories soit encore au programme.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.