What is it about?
Chesskell is an implementation of the FIDE 2018 Laws of Chess in Haskell's type system, bundled with a Haskell EDSL which can be used to interact with that model. This paper summarises some interesting stress points during development, including findings on compile time and memory usage of note with the Glasgow Haskell Compiler (GHC).
Featured Image
Read the Original
This page is a summary of: Chesskell: a two-player game at the type level, August 2021, ACM (Association for Computing Machinery),
DOI: 10.1145/3471874.3472987.
You can read the full text:
Resources
Contributors
The following have contributed to this page