[Haskell] ANN: Disciplined Disciple Compiler (DDC) 0.3.1
benl at ouroborus.net
Sun Dec 23 12:26:31 CET 2012
The Disciplined Disciple Compiler Strike Force is pleased to announce the release of DDC 0.3.1.
DDC is a research compiler used to investigate program transformation in the presence of computational effects. This is a development release. There is enough implemented to experiment with the core language, but not enough to write real programs.
* Compilation via C and LLVM for first-order programs.
* Cross-module inlining.
* An effect-aware rewrite rule framework.
* Generation of LLVM aliasing and constancy meta-data.
* More program transformations:
Beta (substitute), Bubble (move type-casts), Elaborate (add witnesses),
Flatten (eliminate nested bindings), Forward (let-floating),
Namify (add names), Prune (dead-code elimination), Snip (eliminate nested applications).
The following people contributed to DDC since the last release:
Tran Ma - LLVM aliasing and constancy meta-data.
Amos Robinson - Rewrite rule system and program transforms.
Erik de Castro Lopo - Build framework.
Ben Lippmeier - Code generators, framework, program transforms.
Full release notes:
For the impatient:
cabal update; cabal install ddc-tools
More information about the Haskell