[Haskell] ANN: Disciplined Disciple Compiler (DDC) 0.3.1

[Ben Lippmeier]

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