文件列表:

INSTALL (351, 2014-11-09)
Makefile (309, 2014-11-09)
compiler (0, 2014-11-09)
compiler\Makefile (2000, 2014-11-09)
compiler\ast.ml (3835, 2014-11-09)
compiler\boundCheck.ml (17939, 2014-11-09)
compiler\emit.ml (29986, 2014-11-09)
compiler\error.ml (12387, 2014-11-09)
compiler\est.ml (3035, 2014-11-09)
compiler\estCompile.ml (8238, 2014-11-09)
compiler\estNormalizePatterns.ml (6803, 2014-11-09)
compiler\estOfIst.ml (14893, 2014-11-09)
compiler\estOptim.ml (4333, 2014-11-09)
compiler\estPp.ml (6170, 2014-11-09)
compiler\estSubst.ml (3898, 2014-11-09)
compiler\eval.ml (8506, 2014-11-09)
compiler\extractFuns.ml (7035, 2014-11-09)
compiler\global.ml (1681, 2014-11-09)
compiler\id.ml (2773, 2014-11-09)
compiler\ident.ml (3149, 2014-11-09)
compiler\ident.mli (1847, 2014-11-09)
compiler\ids.ml (1805, 2014-11-09)
compiler\ist.ml (3306, 2014-11-09)
compiler\istOfStast.ml (6970, 2014-11-09)
compiler\istOptim.ml (5870, 2014-11-09)
compiler\istPp.ml (6847, 2014-11-09)
compiler\istRecords.ml (4405, 2014-11-09)
compiler\istTail.ml (2033, 2014-11-09)
compiler\lexer.mll (9494, 2014-11-09)
compiler\linearCheck.ml (16657, 2014-11-09)
compiler\llst.ml (3282, 2014-11-09)
compiler\llstFree.ml (6285, 2014-11-09)
compiler\llstOfEst.ml (16772, 2014-11-09)
compiler\llstOptim.ml (6755, 2014-11-09)
compiler\llstPp.ml (6671, 2014-11-09)
compiler\main.ml (7868, 2014-11-09)
compiler\naming.ml (20617, 2014-11-09)
... ...

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

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：