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.
New Features
~~~~~~~~~~~~
* 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).
People
~~~~~~
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:
http://code.ouroborus.net/ddc/ddc-stable/RELEASE
Further reading:
http://disciple.ouroborus.net/
For the impatient:
cabal update; cabal install ddc-tools
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
