Compilation d'un petit langage fonctionnel vers LLVM : exemple de calculatrice simple
2025-09-23
Cet article détaille le processus de compilation d'un petit langage fonctionnel vers LLVM. En commençant par un langage de calculatrice basique, l'auteur construit progressivement un analyseur lexical, un analyseur syntaxique et un générateur de code LLVM. L'article explique minutieusement chaque étape, notamment l'analyse avec la bibliothèque megaparsec, la génération de code LLVM IR à l'aide des bibliothèques llvm-hs-pure et llvm-hs-pretty, et enfin la compilation et l'exécution du résultat. Grâce à cet exemple, les lecteurs peuvent apprendre à traduire les caractéristiques des langages fonctionnels (comme la correspondance de motifs) en LLVM IR et à utiliser LLVM pour la génération et la compilation de code.
Lire plus
Développement
Langage fonctionnel