The ddci-core package

[Tags: mit, program]

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.


Properties

Versions0.2.0.1, 0.2.0.2, 0.2.1.1, 0.2.1.2
Dependenciesbase (==4.6.*), containers (==0.5.*), ddc-base (==0.2.1.*), ddc-core (==0.2.1.*), ddc-core-eval (==0.2.1.*), ddc-core-simpl (==0.2.1.*), haskeline (==0.7.*), haskell-src-exts (==1.*)
LicenseMIT
AuthorThe Disciplined Disciple Compiler Strike Force
MaintainerBen Lippmeier <benl@ouroborus.net>
Stabilityexperimental
CategoryCompilers/Interpreters
Home pagehttp://disciple.ouroborus.net
Bug trackerdisciple@ouroborus.net
Executablesddci-core
Upload dateWed Oct 24 02:09:40 UTC 2012
Uploaded byBenLippmeier
Downloads393 total (35 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees