Difference between revisions of "Discus"

Revision as of 12:32, 16 March 2008

Disciple is an explicitly lazy dialect of the functional programming language Haskell.

Strict EvaluationOrder is the default, laziness is introduced explicitly.
All data objects support DestructiveUpdate.
Type directed FieldProjections complement type classing.
Supports a try-catch ExceptionMechanism
The TypeSystem ensures that side effects and destructive update play nicely with laziness.

Some example code, and it's output.

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.
Is in a usable alpha state.

Use darcs to get the repo from haskell.org

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

Check the ReleaseNotes and INSTALL instructions.

@@ Line 3: / Line 3: @@
 == Disciple vs Haskell ==
 * Strict [[DDC/EvaluationOrder|EvaluationOrder]] is the default, laziness is introduced explicitly.
-* All data objects support [[DDC/DestructiveUpdate|DestructiveUpdate]], without the need for Ref types.
+* All data objects support [[DDC/DestructiveUpdate|DestructiveUpdate]].
 * Type directed [[DDC/FieldProjections|FieldProjections]] complement type classing.
 * Supports a try-catch [[DDC/ExceptionMechanism|ExceptionMechanism]]