Discus

From HaskellWiki
Revision as of 13:51, 16 March 2008 by Benl23 (talk | contribs)
Jump to navigation Jump to search

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

Disciple vs Haskell

Some example code, and it's output.

The Disciplined Disciple Compiler (DDC)

  • Uses a typed core language which includes effect, closure, region and mutability information. (example)
  • This extended type information is used to allow code-transformation style optimizations in the presence of side effects and mutable objects.
  • Produces 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.

Get the Source

Use darcs to get the repo from haskell.org

   darcs get http://code.haskell.org/~benl/disciple-HEAD

Check the ReleaseNotes and INSTALL instructions.

Contact the Maintainers