Freer Arrows and Why You Need Them in Haskell (Haskell 2025)

Who

Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li

Track

Haskell 2025

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 16 Oct 2025 10:35 - 11:05 at Peony SW - Types and monads Chair(s): Liam O'Connor

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.

Link to Preprint

https://arxiv.org/abs/2506.12212

DOI

https://doi.org/10.1145/3759164.3759352

Grant VanDomelen

Portland State University, USA

Gan Shen

University of California at Santa Cruz

United States

Lindsey Kuper

University of California, Santa Cruz

United States

Yao Li

Portland State University

United States

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 16 Oct
Displayed time zone: Perth change

10:30 - 12:15	Types and monadsHaskell at Peony SW Chair(s): Liam O'Connor Australian National University

10:30 5m Day opening		Welcome Haskell Ningning Xie University of Toronto, J. Garrett Morris University of Iowa
10:35 30m Research paper		Freer Arrows and Why You Need Them in Haskell Haskell Grant VanDomelen Portland State University, USA, Gan Shen University of California at Santa Cruz, Lindsey Kuper University of California, Santa Cruz, Yao Li Portland State University DOI Pre-print
11:05 30m Research paper		Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad Haskell Anton Lorenzen University of Edinburgh DOI
11:35 30m Research paper		The Calculated Typer (Functional Pearl) Haskell Zac Garby University of Nottingham, Patrick Bahr IT University of Copenhagen, Graham Hutton University of Nottingham