Skip to content

Research language for array processing in the Haskell/ML family

License

Notifications You must be signed in to change notification settings

axch/dex-lang

This branch is 72 commits behind google-research/dex-lang:main.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

7b17756 · Nov 17, 2023
Oct 17, 2022
Jul 14, 2023
Apr 4, 2023
Jul 13, 2023
Dec 28, 2021
Sep 15, 2023
Apr 9, 2023
Mar 28, 2023
Nov 17, 2023
Jun 16, 2023
Sep 15, 2023
Oct 21, 2022
Sep 7, 2022
Dec 14, 2022
Jun 3, 2022
Nov 2, 2021
Oct 4, 2019
Oct 12, 2019
Nov 11, 2022
Jan 7, 2021
Feb 11, 2022
Jun 16, 2023
Feb 11, 2022
Feb 11, 2022
Jul 11, 2023
Feb 11, 2022
Jan 4, 2023
Jan 4, 2023
Jan 4, 2023

Repository files navigation

Dex Test status

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 paper, our tutorial or these example programs:

Or for a more comprehensive look, there's

  • The InDex of all documents, libraries, and examples included in this repository.

🚨 Dex is an experimental research project at an early stage of development. Expect monstrous bugs and razor-sharp edges!

🤝 Contributions welcome! See our issue tracker for good first issues, or browse by thematic labels.

Dependencies

  • Install stack
  • Install LLVM 12
    • Ubuntu/Debian: apt-get install llvm-12-dev
    • macOS: brew install llvm@12
      • Make sure llvm@12 is on your PATH before building. Example: export PATH="$(brew --prefix llvm@12)/bin:$PATH"
  • Install clang 12 (may be installed together with llvm)
    • Ubuntu/Debian: apt-get install clang-12
    • macOS: installs with llvm
  • Install libpng (often included by default in *nix platforms)
    • Ubuntu/Debian: apt-get install libpng-dev
    • macOS: brew install libpng

Installing

To build and install a release version of Dex run make install.

The default installation directory is $HOME/.local/bin, so make sure to add that directory to $PATH after installing Dex. To install Dex somewhere else, set the PREFIX environment variable before running make install. For example, PREFIX=$HOME make install installs dex in $HOME/bin.

Building

  • Build Dex in development (unoptimized) mode: make
  • Run tests in development mode: make tests

It is convenient to set up a dex alias (e.g. in .bashrc) for running Dex in development mode:

# Linux:
alias dex="stack exec dex -- --lib-path lib"

# macOS:
alias dex="stack exec --stack-yaml=stack-macos.yaml dex -- --lib-path lib"

You might also want to consider other development build targets:

  • build-opt for local optimized builds,
  • build-dbg for local debug builds,
  • build-prof for local optimized builds with profiling enabled.

Those non-standard targets require different aliases. Please consult the documentation at the top of the makefile for detailed instructions.

Haskell Language Server

In order to use HLS with the Haskell code in this project:

  • Install ghcup
  • Run ghcup install hls
  • Create a file in the root dex directory called hie.yaml with the following contents:
cradle:
  stack:
    stackYaml: "./stack-macos.yaml"  # Or stack.yaml if not on MacOS

Unfortunately one cannot dynamically select the stack.yaml file to use based on the environment, and so one has to create an appropriate hie.yaml file manually. This will be ignored by git.

This should work out of the box with Emacs' lsp-haskell package.

Building with Nix

Nix is a functional package manager and build system.

To build with vanilla Nix:

$ nix-build

To build with flakes-enabled Nix:

$ nix build .#dex

The resulting dex binary should be in result/bin/dex.

For development purposes, you can use a Nix environment with

$ nix-shell
$ nix develop  # With flakes

and use make to use Stack to build 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.

About

Research language for array processing in the Haskell/ML family

Resources

License

Citation

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Haskell 89.9%
  • Python 5.8%
  • Julia 1.3%
  • Makefile 0.8%
  • C++ 0.7%
  • C 0.5%
  • Other 1.0%