Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Caml-like language with linear types
OCaml Shell C
branch: master

This branch is 6 commits ahead, 10 commits behind pikatchu:master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
compiler
conf
stdlib
test
.gitignore
INSTALL
Makefile
README
configure
licence.txt

README

LinearML (or LiML) is a programming language designed to write efficient parallel programs.
Its main characteristics are:

    * Purely functional
    * Statically typed
    * Strict evaluation order

In LiML, the default is, every value has a linear type, this implies:

    * Thread-safe copy-less message-passing between threads
    * Thread-safe IOs
    * In-place updates for the vast majority of operations (better cache hits)
    * Statically enforced memory management. 
      In other words, there is no garbage collector, the memory usage is safe, it's garanteed statically ! 


To compile LiML, follow the instructions in INSTALL
Something went wrong with that request. Please try again.