Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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

[img] 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

Request Changes to record.

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:
DateEvent
18 August 2021Published
23 June 2021Accepted
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:
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us