Work

Freer Arrows and Why You Need Them in Haskell

Year: 2025

Type: conference-paper

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.

DOI: 10.1145/3759164.3759352

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

Institutions: Portland State University, University of California, Santa Cruz

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

Funder: National Science Foundation

Award: CRII: SHF: Embedding techniques for mechanized reasoning about existing programs

OpenAlex ID: W4414990065

FWCI:

Cites: 58

Cited by:

Related to: