Modular Compilers Based on Monad Transformers

The monadic style of language speci cation has the advantages of modularity and extensibility: it is simple to add or change features in an interpreter to re ect modi cations in the source language. It has proven difcult to extend the method to compilation. We demonstrate that by introducing machine-like stores (code and data) into the monadic semantics and then partially evaluating the resulting semantic expressions, we can achieve many of the same advantages for a compiler as for an interpreter. A number of language constructs and features are compiled: expressions, CBV and CBN evaluation of -expressions, dynamic scoping, and various imperative features. The treatment of recursive procedures is outlined as well. The resulting method allows compilers to be constructed in a mix-and-match fashion just as in a monad-structured interpreter.

• Type: Conference
• Year: 1998
• Where: ICCL
• Authors: William L. Harrison, Samuel N. Kamin
• Keywords: Ect Modi Cations, ICCL 1998, Language Speci Cation, Monadic Style, Programming Languages