/tophat-haskell

TopHat implementation in Haskell

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

TopHat in Haskell

TopHat is a formalisation of Task Oriented Programming. This is the Haskell implementation of the language.

Language and semantics

The language is specified as a GADT in Data.Task. Semantics, including all observations, can be found in Data.Task.Run.

Examples

Main includes a couple of examples which can be executed.

Dependencies

  • GHC >= 8.8
  • Cabal >= 3.0

Building

Clone the repository and build it by running Cabal. You'll need Cabal version 3 for new style builds!

git clone https://github.com/timjs/tophat-haskell.git
cd tophat-haskell
cabal build
cabal run

Tested with GHC-8.8 and Cabal 3.2, and with GHC-8.10 and Cabal 3.4.