Spira: A language for prototyping grid board games with linear logic in Haskell

Abstract

This project explores the process of creating a board game model and introduces a new high level domain-specific language called Spira that specialises in prototyping grid board games. Spira is a DSL, embedded in Haskell, that generates Ceptre code. Ceptre is a language deeply rooted in the principles of linear logic, and it possesses qualities that allows board game functionality to be simplified and implementation minimised. To demonstrate Spira’s capability of bringing Ceptre’s inherent functionality into Haskell we constructed a case study, comparing two common board game implementations in Spira to Ceptre.