ddci-core: Disciple Core language interactive interpreter.
|Versions||0.2.0.1, 0.2.0.2, 0.2.1.1, 0.2.1.2|
|Dependencies||base (==4.5.*), containers (==0.4.*), ddc‑base (==0.2.0.*), ddc‑core (==0.2.0.*), ddc‑core‑eval (==0.2.0.*), ddc‑core‑simpl (==0.2.0.*), haskeline (==0.6.4.*), haskell‑src‑exts (==1.*) [details]|
|Uploaded||by BenLippmeier at Wed Feb 15 13:13:58 UTC 2012|
|Downloads||1564 total (13 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs not available [build log]
All reported builds failed as of 2016-12-25 [all 7 reports]
Hackage Matrix CI
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.
For package maintainers and hackage trustees