DDC

From HaskellWiki

Disciple is an explicitly lazy dialect of Haskell which supports destructive update, computational effects, type directed field projections and allied functional goodness.

1 The Disciplined Disciple Compiler

• Uses a typed core language which includes effect, closure, region and mutability information.
• This extended type information is used to allow code-transformation style optimizations in the presence of side effects and mutable objects.
• Compiles via standard C99, so is highly portable.
• Tested on linux-{x86, x86_64} and darwin-{x86, x86_64} (tested on 10.5.4)
• Is an active research project and not yet "industrial strength", but will compile some programs if you're nice to it.

2 More Information

• Please see the Development Wiki for further information.
• If you've tripped over a bug then please add a New Ticket.
• You can also post in http://groups.google.com/group/disciple-cafe.
• Or ask in #disciplined on irc.freenode.net