
The Library
Chesskell : a two- player game at the type level
Tools
Bailey, Toby and Gale, Michael B. (2021) Chesskell : a two- player game at the type level. In: 14th ACM SIGPLAN International Haskell Symposium, Virtual conference, 26-27 Aug 2021. Published in: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell pp. 110-121. doi:10.1145/3471874.3472987
![]() |
PDF
WRAP-Chesskell-two-player-game-type-level-2021.pdf - Accepted Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (503Kb) |
Official URL: https://doi.org/10.1145/3471874.3472987
Abstract
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.
Item Type: | Conference Item (Paper) | ||||||
---|---|---|---|---|---|---|---|
Divisions: | Faculty of Science > Computer Science | ||||||
Journal or Publication Title: | Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell | ||||||
Publisher: | ACM | ||||||
Official Date: | 18 August 2021 | ||||||
Dates: |
|
||||||
Page Range: | pp. 110-121 | ||||||
DOI: | 10.1145/3471874.3472987 | ||||||
Status: | Peer Reviewed | ||||||
Publication Status: | Published | ||||||
Publisher Statement: | "© ACM, 2021. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 110-121 http://doi.acm.org/10.1145/3471874.3472987 | ||||||
Access rights to Published version: | Restricted or Subscription Access | ||||||
Conference Paper Type: | Paper | ||||||
Title of Event: | 14th ACM SIGPLAN International Haskell Symposium | ||||||
Type of Event: | Conference | ||||||
Location of Event: | Virtual conference | ||||||
Date(s) of Event: | 26-27 Aug 2021 | ||||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
![]() |
View Item |