The Library
Chesskell : a two- player game at the type level
Tools
Tools
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 - Requires a PDF viewer. Download (503Kb) | Preview |
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) | ||||||
|---|---|---|---|---|---|---|---|
| Subjects: | G Geography. Anthropology. Recreation > GV Recreation Leisure Q Science > Q Science (General) Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software |
||||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||||
| Library of Congress Subject Headings (LCSH): | Haskell (Computer program language), Computer chess , Functional programming languages, Reinforcement learning | ||||||
| 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 | ||||||
| Reuse Statement (publisher, data, author rights): | © 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 |
Downloads
Downloads per month over past year
