Calculating Compilers Effectively (Functional Pearl)

Garby, Zac; Hutton, Graham; Bahr, Patrick

Abstract

Much work in the area of compiler calculation has focused on pure languages. While this simplifies the reasoning, it reduces the applicability. In this article, we show how an existing compiler calculation methodology can be naturally extended to languages with side-effects. We achieve this by exploiting an algebraic approach to effects, which keeps the reasoning simple and provides flexibility in how effects are interpreted. To make the ideas accessible we only use elementary functional programming techniques.

Citation

Garby, Z., Hutton, G., & Bahr, P. (2024, September). Calculating Compilers Effectively (Functional Pearl). Presented at Haskell '24: 17th ACM SIGPLAN International Haskell Symposium, Milan, Italy

• Presentation Conference Type: Edited Proceedings
• Conference Name: Haskell '24: 17th ACM SIGPLAN International Haskell Symposium
• Start Date: Sep 6, 2024
• End Date: Sep 7, 2024
• Acceptance Date: Jul 5, 2024
• Online Publication Date: Aug 28, 2024
• Publication Date: Aug 28, 2024
• Deposit Date: Jul 16, 2024
• Publicly Available Date: Aug 28, 2024
• Publisher: Association for Computing Machinery (ACM)
• Peer Reviewed: Peer Reviewed
• ISBN: 9798400711022
• DOI: https://doi.org/10.1145/3677999.3678283
• Public URL: https://nottingham-repository.worktribe.com/output/37306908
• Publisher URL: https://dl.acm.org/doi/10.1145/3677999.3678283
• External URL: https://icfp24.sigplan.org/home/haskellsymp-2024