Personal tools


From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m (Corrected "it's" (the contraction of it is) to "its" the possessive form)
Line 12: Line 12:
* Some [[DDC/FurtherReading|FurtherReading]].
* Some [[DDC/FurtherReading|FurtherReading]].
Some example [ code] showing most of the extensions, and it's [ output],
Some example [ code] showing most of the extensions, and its [ output],
[ core] and [ C-code]
[ core] and [ C-code]

Revision as of 06:34, 21 March 2008


Disciple is an explicitly lazy dialect of Haskell which supports destructive update, computational effects, type directed field projections and some other useful things.


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.
  • Compiles cleanly on linux-x86 and darwin-x86 (tested on Mac OS X 10.5.2)
  • Is in a usable alpha state.

3 Get the Source

Use darcs to get the repo from

   darcs get

Alternatively, download the source tar-ball from Google code

Check the ReleaseNotes and INSTALL and HACKING instructions.

4 Contact the Maintainers