Calculating Compilers Effectively (Functional Pearl)

Zac Garby; Graham Hutton; Patrick Bahr

doi:10.1145/3677999.3678283

Calculating Compilers Effectively (Functional Pearl)

Zac Garby, Graham Hutton, Patrick Bahr

Programming Logic and Semantics

University of Nottingham

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

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.

Original language	English
Title of host publication	Proceedings of the 17th ACM SIGPLAN International Haskell Symposium
Number of pages	11
Publisher	Association for Computing Machinery
Publication date	29 Aug 2024
Pages	109 - 119
DOIs	https://doi.org/10.1145/3677999.3678283
Publication status	Published - 29 Aug 2024
Event	17th ACM SIGPLAN International Haskell Symposium - Milan, Italy Duration: 6 Sept 2024 → 7 Sept 2024

Conference

Conference	17th ACM SIGPLAN International Haskell Symposium
Country/Territory	Italy
City	Milan
Period	06/09/2024 → 07/09/2024

Keywords

algebraic effects
monads
program calculation

Access to Document

10.1145/3677999.3678283

paperAccepted author manuscript, 166 KBLicence: CC BY

Cite this

@inproceedings{6327f4e1ade7494ca3eb2dce8efc095c,

title = "Calculating Compilers Effectively (Functional Pearl)",

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.",

keywords = "algebraic effects, monads, program calculation",

author = "Zac Garby and Graham Hutton and Patrick Bahr",

year = "2024",

month = aug,

day = "29",

doi = "10.1145/3677999.3678283",

language = "English",

pages = "109 -- 119",

booktitle = "Proceedings of the 17th ACM SIGPLAN International Haskell Symposium",

publisher = "Association for Computing Machinery",

address = "United States",

note = "17th ACM SIGPLAN International Haskell Symposium, Haskell 2024 ; Conference date: 06-09-2024 Through 07-09-2024",

}

TY - GEN

T1 - Calculating Compilers Effectively (Functional Pearl)

AU - Garby, Zac

AU - Hutton, Graham

AU - Bahr, Patrick

PY - 2024/8/29

Y1 - 2024/8/29

N2 - 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.

AB - 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.

KW - algebraic effects

KW - monads

KW - program calculation

UR - https://doi.org/10.1145/3677999.3678283

U2 - 10.1145/3677999.3678283

DO - 10.1145/3677999.3678283

M3 - Article in proceedings

SP - 109

EP - 119

BT - Proceedings of the 17th ACM SIGPLAN International Haskell Symposium

PB - Association for Computing Machinery

T2 - 17th ACM SIGPLAN International Haskell Symposium

Y2 - 6 September 2024 through 7 September 2024

ER -

Calculating Compilers Effectively (Functional Pearl)

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this