All Projects → discus-lang → Ddc

discus-lang / Ddc

Licence: other
The Disco Discus Compiler

Programming Languages

haskell
3896 projects
language
365 projects

Projects that are alternatives of or similar to Ddc

zio-http4s-example
For anyone who's struggling to put an http4s server together with ZIO
Stars: ✭ 19 (-88.41%)
Mutual labels:  functional, effects
Poprc
A Compiler for the Popr Language
Stars: ✭ 170 (+3.66%)
Mutual labels:  compiler, functional
2d Unity Experiments
A collection of visual Unity experiments with latest packages (URP, Shader Graph, Cinemachine, etc).
Stars: ✭ 107 (-34.76%)
Mutual labels:  experimental, effects
Philip2
An Elm to OCaml compiler
Stars: ✭ 182 (+10.98%)
Mutual labels:  compiler, functional
Enso Archive
Looking for Enso, the visual programming language? ➡️ https://github.com/enso-org/enso
Stars: ✭ 305 (+85.98%)
Mutual labels:  compiler, functional
Enso
Hybrid visual and textual functional programming.
Stars: ✭ 5,238 (+3093.9%)
Mutual labels:  compiler, functional
Lawvere
A categorical programming language with effects
Stars: ✭ 142 (-13.41%)
Mutual labels:  compiler, effects
Cs2cpp
C# to C++ transpiler (Cs2Cpp) (Powered by Roslyn)
Stars: ✭ 155 (-5.49%)
Mutual labels:  compiler
Kotlin Openapi Spring Functional Template
🍃 Kotlin Spring 5 Webflux functional application with api request validation and interactive api doc
Stars: ✭ 159 (-3.05%)
Mutual labels:  functional
Extratools
145+ extra higher-level functional tools beyond standard library's `itertools`, `functools`, etc. and popular third-party libraries like `toolz`.
Stars: ✭ 155 (-5.49%)
Mutual labels:  functional
Quickjs
QuickJS是一个小型并且可嵌入的Javascript引擎,它支持ES2020规范,包括模块,异步生成器和代理器。
Stars: ✭ 2,199 (+1240.85%)
Mutual labels:  compiler
Lbac Swift
Let's Build a Compiler by Jack Crenshaw translated to Swift Playgrounds
Stars: ✭ 156 (-4.88%)
Mutual labels:  compiler
Jitfromscratch
Example project from my talks in the LLVM Social Berlin and C++ User Group
Stars: ✭ 158 (-3.66%)
Mutual labels:  compiler
Lioness
The Lioness Programming Language
Stars: ✭ 155 (-5.49%)
Mutual labels:  compiler
Algebraic Effects
Manage side-effects in your javascript application cleanly with algebraic effects
Stars: ✭ 162 (-1.22%)
Mutual labels:  effects
Reshade
A generic post-processing injector for games and video software.
Stars: ✭ 2,285 (+1293.29%)
Mutual labels:  compiler
Guitarstack
Digital guitar effects right in your browser!
Stars: ✭ 164 (+0%)
Mutual labels:  effects
One
On-device Neural Engine
Stars: ✭ 162 (-1.22%)
Mutual labels:  compiler
Rhine
🔬 a C++ compiler middle-end, using an LLVM backend
Stars: ✭ 157 (-4.27%)
Mutual labels:  compiler
Eval
Eval is a lightweight interpreter framework written in Swift, evaluating expressions at runtime
Stars: ✭ 157 (-4.27%)
Mutual labels:  compiler

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.

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.

Let Me Hack

See the Getting Started 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

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].