Disciplined Disciple Compiler core language and type checker. http://disciple.ouroborus.net
|Latest on Hackage:||0.4.3.1|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
Disciple Core is an explicitly typed language based on System-F2,
intended as an intermediate representation for a compiler. In addition
to the polymorphism of System-F2 it supports region, effect and closure
typing. Evaluation order is left-to-right call-by-value by default.
There is a capability system to track whether objects are mutable or
constant, and to ensure that computations that perform visible side
effects are not reordered inappropriately.
ddc-tools package for a user-facing interpreter and compiler.