Difference between revisions of "Discus"
Jump to navigation
Jump to search
(Moved most info to the trac.haskell.org wiki.) |
(Point to trac site for further unformation) |
||
Line 2: | Line 2: | ||
Disciple is an explicitly lazy dialect of [http://www.haskell.org Haskell] which supports destructive update, computational effects, type directed field projections and allied functional goodness. |
Disciple is an explicitly lazy dialect of [http://www.haskell.org Haskell] which supports destructive update, computational effects, type directed field projections and allied functional goodness. |
||
− | |||
− | == 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. |
||
== More Information == |
== More Information == |
Revision as of 02:09, 20 September 2010
Disciple is an explicitly lazy dialect of Haskell which supports destructive update, computational effects, type directed field projections and allied functional goodness.
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