Personal tools

DDC

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
Line 20: Line 20:
 
* Compiles via standard C99, so is highly portable.
 
* Compiles via standard C99, so is highly portable.
 
* Tested on linux-{x86, x86_64} and darwin-{x86, x86_64} (tested on 10.5.4)
 
* 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.
+
* Is an active research project and is not yet "industrial strength", but will compile some programs if you're nice to it.
   
 
== Get the Source ==
 
== Get the Source ==

Revision as of 05:43, 23 July 2009

DDC

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

Contents

1 Disciple vs Haskell

Some example code showing most of the extensions, and its output, core and C-code

2 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 is not yet "industrial strength", but will compile some programs if you're nice to it.

3 Get the Source

Get the latest stable release (alpha 1.1) with darcs:

    darcs get http://code.haskell.org/ddc/ddc-alpha

For thrill-seekers, the development branch (which usually builds ok) is:

    darcs get http://code.haskell.org/ddc/ddc-head 

Check the ReleaseNotes and INSTALL and HACKING instructions.

4 Hackery