https://github.com/discus-lang/ddc

The Disco Discus Compiler
https://github.com/discus-lang/ddc

capabilities compiler effects experimental functional language regions

Last synced: about 1 month ago
JSON representation

The Disco Discus Compiler

• Host: GitHub
• URL: https://github.com/discus-lang/ddc
• Owner: discus-lang
• License: other
• Created: 2012-09-24T09:11:06.000Z (about 12 years ago)
• Default Branch: master
• Last Pushed: 2019-02-06T03:00:24.000Z (almost 6 years ago)
• Last Synced: 2024-08-03T21:01:12.420Z (4 months ago)
• Topics: capabilities, compiler, effects, experimental, functional, language, regions
• Language: Haskell
• Homepage: http://discus-lang.org
• Size: 49.4 MB
• Stars: 174
• Watchers: 25
• Forks: 19
• Open Issues: 1
• Metadata Files:
  • Readme: Readme.md
  • License: LICENSE

Awesome Lists containing this project

• programming-languages - Discus - Experimental dialect of Haskell which investigates static typing and program transformation in the presence of computational effects. (Functional)

README

        
# The Disco Discus Compiler [![Build Status](https://travis-ci.org/discus-lang/ddc.svg?branch=master)](https://travis-ci.org/discus-lang/ddc)

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](https://github.com/discus-lang/ddc/tree/master/test/ddc-demo/source/Discus),

[List Library](https://github.com/discus-lang/ddc/blob/master/src/s2/base/Data/List.ds), and

[Text Implementation](https://github.com/discus-lang/ddc/blob/master/src/s2/base/Data/Text/Base.ds)

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](http://disciple-devel.blogspot.com.au/2017/07/ray-tracer-demo.html)

are described on the [blog](http://disciple-devel.blogspot.com.au/).

## Let Me Hack

See the [Getting Started](http://discus-lang.org/section/01-GettingStarted.html) guide

on the home page.

## More Information

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:           https://groups.google.com/forum/#!forum/discus-lang