Freer Arrows and Why You Need Them in Haskell
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.
Authors
- Gan Shen (ORCID: https://orcid.org/0009-0006-0947-9531)
- Lindsey Kuper (ORCID: https://orcid.org/0000-0002-1374-7715)
- Yao Li (ORCID: https://orcid.org/0000-0001-8720-883X)
- Grant VanDomelen
Institutions
- Portland State University (US)
- University of California, Santa Cruz (US)
Publication Details
- Published
- 2025-10-09
- DOI
- https://doi.org/10.1145/3759164.3759352
- Primary Topic
- Logic, programming, and type systems
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- National Science Foundation