The Discus language is an experimental dialect of Haskell which investigates static typing and program transformation in the presence of computational effects. The compiler (DDC) is currently "working alpha" quality, meaning there is a complete system that can be hacked around with, but it’s not yet industrial strength.
-
Haskell-like source language, so Haskell-like programs should work with minor modifications.
-
Modal region and effect system using ‘box’ and ‘run’ to suspend and force computations.
-
Higher rank polymorphism with bidirectional type inference.
-
Simple two space copying garbage collection.
-
Default call-by-value evaluation.
-
Typed external core language.
Check out the Demos, List Library, and Text Implementation in the source tree. The Demos are simple programs. The List Library demonstrates effect polymorphism, and the Text implementation demonstrates use of private regions and capabilities.
Larger programs like a Ray Tracer are described on the blog.
See the Getting Started guide on the home page.
Home Page: http://discus-lang.org
The GitHub site: http://github.com/discus-lang/ddc
Development Wiki: http://trac.discus-lang.org
Development Blog: http://blog.discus-lang.org
Mailing List: http://groups.google.com/group/disciple-cafe
