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

Ben Lippmeier 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.

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).

 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: 

Further reading:

For the impatient:
  cabal update; cabal install ddc-tools

More information about the Haskell mailing list