@hackage ddci-core0.2.1.2
Disciple Core language interactive interpreter.
Categories
License
MIT
Maintainer
Ben Lippmeier <benl@ouroborus.net>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
Deprecated
Dependencies (0)
- 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 Show all…
Dependents (1)
@hackage/acme-everything
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.