The Disciplined Disciple Compiler
Haskell Clean Other
Pull request Compare This branch is 2 commits ahead, 899 commits behind DDCSF:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
bin
demo
doc
make
packages
test
.gitignore
.mailmap
HACKING
LICENSE
Makefile
RELEASE
Readme.md

Readme.md

The Disciplined Disciple Compiler

DDC is a research compiler used to investigate program transformation in the presence of computational effects. It compiles a family of strict functional core languages and supports region, effect and closure typing. This extra information provides a handle on the operational behaviour of code that isn't available in other languages. Programs can be written in either a pure/functional or effectful/imperative style, and one of our goals is to provide both styles coherently in the same language.

The DDC homepage is at: http://disciple.ouroborus.net/