xOur data center is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
ICFP 2021
Sun 22 - Sat 28 August 2021
Thu 26 Aug 2021 20:00 - 20:30 at Haskell - Paper Session 1

Extensions to Haskell’s type system, as implemented in GHC, have given developers more tools to express the domain-specific rules and invariants of their programs in types. For these extensions to see mainstream adoption, their use in complex applications has to be practical. We present Chesskell, an EDSL for describing Chess games where a type-level model of the full FIDE ruleset prevents us from expressing games with invalid moves. Our work highlights current limitations when using GHC to express such complex rules due to the resulting memory usage and compile times, which we report on. We further present some approaches for working around those limitations.

Thu 26 Aug

Displayed time zone: Seoul change

20:00 - 21:30
Paper Session 1Haskell at Haskell
20:00
30m
Talk
Chesskell: A Two-Player Game at the Type Level
Haskell
Toby Bailey University of Warwick, Michael Gale University of Warwick, UK
20:30
30m
Talk
Express: applications of dynamically typed Haskell expressions
Haskell
Rudy Matela Unaffiliated
Link to publication DOI Pre-print
21:00
30m
Talk
Haskell⁻¹: Automatic Function Inversion in Haskell
Haskell
Finn Teegen University of Kiel, Germany, Kai-Oliver Prott University of Kiel, Germany, Niels Bunkenburg University of Kiel, Germany
DOI Pre-print