Skip to content
An experimental Haskell library for programming with effectful runners.
Haskell Makefile
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
examples Example of a runner for instrumenting user code with a simple cost model Oct 24, 2019
src/Control Link to the draft Oct 28, 2019
LICENSE.md Moving the Haskell comodels library to a separate repository Jun 4, 2019
Makefile Cleanup Oct 20, 2019
README.md
haskell-coop.cabal Example of a runner for instrumenting user code with a simple cost model Oct 24, 2019

README.md

Haskell-Coop

Haskell-Coop is an experimental Haskell library for programming with effectful runners.

This library is based on ongoing research of Danel Ahman and Andrej Bauer. Interested readers should check out a recent draft Runners in action that develops the theoretical underpinnings, presents a core calculus for programming with runners that the Haskell-Coop library implements, and discusses various example uses of runners.

For general background reading on algebraic effects and handlers, we recommend the lecture notes What is algebraic about algebraic effects and handlers?. Section 4 of these lecture notes discusses ordinary runners of algebraic effects (also known in the literature as comodels of algebraic effects).

Prerequisites

To build Haskell-Coop, you need a working installation of Haskell, and the Cabal package manager and build system.

Building haskell-coop

You can type:

  • make to locally build the Haskell-Coop library, generate documentation, and typecheck examples.
  • make build to locally build the Haskell-Coop library and generate documentation.
  • make examples to typecheck examples.
  • make clean to clean up.

Building Haskell-Coop uses cabal new-build to locally build the library and all its dependencies, and to generate Haddock documentation. The generated documentation can be found in dist-newstyle/build/platform/ghc-version/haskell-coop-version/doc/html/haskell-coop/index.html. The examples are typechecked with ghci.

Entry points

There are two main entry points to the Haskell-Coop library:

The directories src/Control/Runner/ and src/Control/SignalRunner/ contain various example runners that implement file IO, ML-style state, their combinations, ambient functions as present in the Koka language, etc.

Example uses of these runners can be found in examples/without_signals/ and examples/with_signals/.

Further documentation

Further documentation of the Haskell-Coop library can be found in its individual modules.

Acknowledgements

This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 834146.
This material is based upon work supported by the Air Force Office of Scientific Research under award number FA9550-17-1-0326.
You can’t perform that action at this time.