gitter-badger/ling-1

LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

Here are some instructions on how to use the ling tool chain.

Requirements

If you're new to Haskell your simplest option might be to install stack: http://docs.haskellstack.org/en/stable/README.html#how-to-install

Building

Once the repository is cloned, you can setup a local Haskell environment:

$ stack setup

Then to build the tool chain:

$ stack build

Finally you can run the compiler on a simple example:

$ stack exec -- ling --seq --fuse --pretty --compile fixtures/compile/double.ll

The command above is type checking, apply sequencing and fusion. It finally prints the final version in Ling and in C.

Contributions

Various contributions can be made whether you know Haskell or not.

Beside hacking on the tool chain, you can:

• Write small programs in the language
• Submit bug reports
• Join the discussion on the evolution of the language
• Help with the documentations and tutorials

Documentation

• Tutorial: https://ling.readthedocs.org/en/latest/tutorial/
• Talk: https://nicolaspouillard.fr/talks/ling-32c3/