@hackage ddc-core0.4.3.1
Disciplined Disciple Compiler core language and type checker.
Categories
License
MIT
Maintainer
Ben Lippmeier <benl@ouroborus.net>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
Deprecated
Dependencies (12)
Dependents (14)
@hackage/ddc-core-llvm, @hackage/ddc-core-flow, @hackage/ddci-core, @hackage/acme-everything, @hackage/ddc-core-simpl, @hackage/ddc-core-babel, Show all…
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.
See the ddc-tools
package for a user-facing interpreter and compiler.