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. (2011, May). Towards modular compilers for effects. Presented at 12th International Symposium, TFP 2011, Madrid, Spain

• Presentation Conference Type: Edited Proceedings
• Conference Name: 12th International Symposium, TFP 2011
• Start Date: May 16, 2011
• End Date: May 18, 2011
• Publication Date: Mar 1, 2012
• Deposit Date: Mar 18, 2015
• Publicly Available Date: Mar 18, 2015
• Publisher: Springer
• Peer Reviewed: Peer Reviewed
• Pages: 49–64
• Series Title: Lecture Notes in Computer Science
• Series Number: 7193
• Series ISSN: 1611-3349
• Book Title: Trends in Functional Programming
• ISBN: 9783642320361
• DOI: https://doi.org/10.1007/978-3-642-32037-8_4
• 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