ADAPTABLE SOFTWARE: HOW TO BUILD A MODULAR MONADIC EXTENSIBLE COMPILER USING THE STATE MONAD AND PSEUDOCON-STRUCTORS OVER MONADIC VALUES

DAN V. POPA

"Vasile Alecsandri" University of Bacău, Faculty of Sciences, Department of Mathematics and Informatics, e-mail: popavdan@yahoo.com

Abstract

The lazy evaluation mechanism included by the Haskell Language and the State Monad are used to build a modular plugin based compiler for a DSL called Simple. This is helping programmers to avoid the backpatching procedure, so producing a clear, modular simplified, monadic code generator.

Keywords

the state monad code layouts modular trees and pseudoconstructors over monadic values AST's