Sponsor
National Science Foundation Grant No. CCF-2348490.
Published In
Proceedings of the 18th ACM SIGPLAN International Haskell Symposium
Document Type
Article
Publication Date
10-2025
Abstract
Freer monads are a useful structure commonly used in various domains due to their expressiveness. However, a known issue with freer monads is that they are not amenable to static analysis. This paper explores freer arrows, a relatively expressive structure that is amenable to static analysis. We propose several variants of freer arrows. We conduct a case study on choreographic programming to demonstrate the usefulness of freer arrows in Haskell.
Rights
Copyright 2025 The Authors
This work is licensed under a Creative Commons Attribution 4.0 International License. CC BY 4.0
Locate the Document
https://doi.org/10.5281/zenodo.16784315
DOI
10.1145/3759164.3759352
Persistent Identifier
https://archives.pdx.edu/ds/psu/44429
Citation Details
VanDomelen, G., Shen, G., Kuper, L., & Li, Y. (2025, October). Freer Arrows and Why You Need Them in Haskell. In Proceedings of the 18th ACM SIGPLAN International Haskell Symposium (pp. 94-108).
Description
CCS Concepts: • Software and its engineering → Functional languages; Data types and structures; Frameworks; Domain specific languages; Distributed programming languages.
Keywords: profunctors, arrows, effects, freer monads, choreographic programming