Скачать или смотреть [Haskell24] Calculating Compilers Effectively

Calculating Compilers Effectively (Video, Haskell 2024)
Zac Garby, Graham Hutton, and Patrick Bahr
(University of Nottingham; University of Nottingham; IT University of Copenhagen)

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.


Presentation at the Haskell 2024 conference, September 6-7, 2024, https://icfp24.sigplan.org/home/haske...
Sponsored by ACM SIGPLAN,