32

GitHub - google-research/dex-lang: Research language for array processing in the...

 4 years ago
source link: https://github.com/google-research/dex-lang
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.

README.md

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:

Please note that Dex is an experimental research project at an early stage of development. We welcome contributions. There's plenty of work to do!

Setup

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

Building

  • Build Dex: make (on non-Linux run make all-non-linux)
  • 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.


report

Recommend

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK