The Disco Discus Compiler

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.

Features

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.

Show Me Code

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.