Skip to content


Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?

Latest commit


Git stats


Failed to load latest commit information.
Latest commit message
Commit time

The Disco Discus Compiler Build Status

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.

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.

Let Me Hack

See the Getting Started guide on the home page.

More Information

Home Page:

The GitHub site:

Development Wiki:

Development Blog:

Mailing List:!forum/discus-lang