Showing 1–1 of 1 results for author: VanDomelen, G

Freer Arrows and Why You Need Them in Haskell

Authors: Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li

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 demon… ▽ More 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. △ Less

Submitted 13 June, 2025; originally announced June 2025.

Comments: In submission to the Haskell Symposium 2025