Skip to content
This repository

Functional language for parallel programming

tree: 2cf4c03e9d

Fetching latest commit…

Octocat-spinner-32-eaf2f5

Cannot retrieve the latest commit at this time

Octocat-spinner-32 compiler
Octocat-spinner-32 conf long instead of int February 23, 2011
Octocat-spinner-32 stdlib
Octocat-spinner-32 test
Octocat-spinner-32 .gitignore added .run for tests March 12, 2011
Octocat-spinner-32 INSTALL added INSTALL file, February 24, 2011
Octocat-spinner-32 Makefile added INSTALL file, February 24, 2011
Octocat-spinner-32 README
Octocat-spinner-32 configure
Octocat-spinner-32 licence.txt moved the source of the compiler to a directory February 22, 2011
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.