Towards modular compilers for effects

Day, Laurence; Hutton, Graham

Abstract

Compilers are traditionally factorised into a number of separate phases, such as parsing, type checking, code generation, etc. However, there is another potential factorisation that has received comparatively little attention: the treatment of separate language features, such as mutable state, input/output, exceptions, concurrency and so forth. In this article we focus on the problem of modular compilation, in which the aim is to develop compilers for separate language features independently, which can then be combined as required. We summarise our progress to date, issues that have arisen, and further work

Citation

Day, L., & Hutton, G. Towards modular compilers for effects. Presented at International Symposium on Trends in Functional Programming (12th)

• Conference Name: International Symposium on Trends in Functional Programming (12th)
• End Date: May 18, 2011
• Publication Date: Mar 1, 2012
• Deposit Date: Mar 18, 2015
• Publicly Available Date: Mar 18, 2015
• Peer Reviewed: Peer Reviewed
• Volume: 7193
• Series Title: Lecture Notes in Computer Science
• Keywords: Modularity, Haskell, Compilation, Monad
• Public URL: https://nottingham-repository.worktribe.com/output/1007742
• Publisher URL: http://link.springer.com/chapter/10.1007/978-3-642-32037-8_4
• Additional Information: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-32037-8_4. ; ; Published in: Trends in functional programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers. Lecture notes in computer science 7193. Heidelberg : Springer, 2012, ISBN: 978-3-642-32036-1. pp. 49-64, doi: 10.1007/978-3-642-32037-8_4