yzh119 / dex-lang

Research language for array processing in the Haskell/ML family

Dex

Dex (named for "index") is a research language for array processing in the Haskell/ML family. The goal of the project is to explore:

• Type systems for array programming
• Mathematical program transformations like differentiation and integration
• User-directed compilation to parallel hardware
• Interactive and incremental numerical programming and visualization

To learn more, check out our workshop paper or these example programs:

• Tutorial
• Dex prelude
• Mandelbrot set
• Estimating pi
• Sierpinsky triangle
• Basis function regression
• Brownian bridge

Setup

• Install stack
• Install LLVM 7, e.g. apt-get install llvm-7-dev

Building

• Build Dex: make
• Run tests: make tests
• Set up alias (e.g. in .bashrc) alias dex=stack exec dex --

Running

• Traditional REPL: dex repl
• Execute script: dex script example/tutorial.dx
• Notebook interface: dex web example/tutorial.dx

License

BSD-3

This is an early-stage research project, not an official Google product.