ddci-core: Disciple Core language interactive interpreter.

[ compilers-interpreters, deprecated, mit, program ] [ Propose Tags ]

Disciple Core is an explicitly typed language based on System-F2, intended as an intermediate representation for a compiler. In addition to the features of System-F2 it supports region, effect and closure typing. Evaluation order is left-to-right call-by-value by default, but explicit lazy evaluation is also supported. There is also a capability system to track whether objects are mutable or constant, and to ensure that computations that perform visible side effects are not suspended with lazy evaluation.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],,,
Dependencies base (>=4.6 && <4.7), containers (>=0.5 && <0.6), ddc-base (>=0.2.1 && <0.2.2), ddc-core (>=0.2.1 && <0.2.2), ddc-core-eval (>=0.2.1 && <0.2.2), ddc-core-simpl (>=0.2.1 && <0.2.2), haskeline (>=0.7 && <0.8), haskell-src-exts (>=1 && <2) [details]
License MIT
Author The Disciplined Disciple Compiler Strike Force
Maintainer Ben Lippmeier <benl@ouroborus.net>
Category Compilers/Interpreters
Home page http://disciple.ouroborus.net
Bug tracker disciple@ouroborus.net
Uploaded by BenLippmeier at 2012-10-24T02:09:40Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables ddci-core
Downloads 3279 total (17 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Successful builds reported [all 9 reports]