Dex

Dex (named for "index") is a research language for typed, functional array processing. 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:

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

Please note that Dex is an experimental research project at an early stage of development. Contributions welcome!

Setup

• Install stack
• Install LLVM 9, e.g. apt-get install llvm-9-dev on Ubuntu/Debian. For macOS, there's some guidance here.

Building

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

Running

• Traditional REPL: dex repl
• Execute script: dex script examples/pi.dx
• Live-updated notebook display dex web examples/pi.dx (html) or dex watch examples/pi.dx (terminal).

License

BSD-3

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