This library implements the Rattus programming language as an embedded DSL. To this end the library provides a GHC plugin that performs the additional checks that are necessary for Rattus.
Rattus is a functional reactive programming (FRP) language that uses modal types to ensure operational properties that are crucial for reactive programs: productivity (in each computation step, the program makes progress), causality (output depends only on current and earlier input), and no implicit space leaks (programs do not implicitly retain memory over time).
A detailed introduction to the language with examples can be found in this paper, sections 2 and 3.
This library has been tested with GHC versions 8.6 to 9.6. To install it, issue the following command:
cabal install
Independently of installing the library as described above you can
also run the example games in the examples folder, for example
cd examples/game
cabal run
However, compiling these examples might take a while since it requires installing the required graphics library.