Functional language for parallel programming
OCaml C Other
Latest commit 76da041 Nov 9, 2014 @pikatchu Merge pull request #15 from richardclegg/master
Correction to error in configure script
Failed to load latest commit information.
compiler The '%' (mod) was missing in check_binop. So the following did not co… Sep 23, 2012
conf long instead of int Feb 24, 2011
.gitignore added .run for tests Mar 12, 2011
INSTALL added INSTALL file, Feb 25, 2011
Makefile added INSTALL file, Feb 25, 2011
README some legal stuff required by my employer Oct 17, 2011
configure Tweak configure for modern tools Aug 17, 2014


I am providing code in this repository to you under an open source license.
Because this is my personal repository, the license you receive to my code if from
me and not my employer (Facebook).

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