Hacker GitHub

← All repos

pikatchu/LinearML

View on GitHub ↗ ★ 439 OCaml

Functional language for parallel programming

9 mentions on Hacker News by 8 people: 1 story, 8 comments · first 2011-03-10 · latest 2018-01-10

Mentions per year 9 mentions · busiest year 2016 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …some things can take decades. Reminds me of LinearML which was an experiment nearly 10 years ago. https://github.com/pikatchu/LinearML/blob/b1a49f153e02f3cffb...
    comment by amenghra · 2018-01-10 · in Linear types can change the world (1990) [pdf]
  2. A few years ago I would have suggested LinearML - https://github.com/pikatchu/LinearML . Now it may be quite a challenge, to just compile it.
    comment by vrotaru · 2018-01-09 · in Linear types can change the world (1990) [pdf]
  3. A shout out for LinearML https://github.com/pikatchu/LinearML Development kinda stopped after the author joined FB. Hoping for a revival.
    comment by srean · 2017-05-02 · in Lively Linear Lisp – 'Look Ma, No Garbage' (1991)
  4. I dream of something like https://github.com/pikatchu/LinearML one day coming into the scene.
    comment by yawaramin · 2017-02-20 · in Nim Language Draws from Best of Python, Rust, Go, and Lisp
  5. …is LinearML, which was an experimental toy, now abandoned. Tutorial here, which may be interesting: https://github.com/pikatchu/LinearML/wiki/Tutorial I asked about it on StackOverflow a while back, and it collected a bunch of useful…
    comment by david-given · 2016-11-30 · in Towards Idris Version 1.0
  6. ….wikipedia.org/wiki/ATS_(programming_language) LinearML is GC-less, functional, parallel programming. https://github.com/pikatchu/LinearML So, functional languages neither require GC's nor infinite memory. Two also combined low-level…
    comment by nickpsecurity · 2016-06-20 · in A 32nm 1000-Processor Array
  7. …(experimental) language that uses linear types to facilitate concurrency/parallelism is LinearML: https://github.com/pikatchu/LinearML
    comment by jallmann · 2015-04-10 · in Fearless concurrency with Rust
  8. …be closer to C-style just-in-time {de-}allocation, or C++ RAII. LinearML is an attempt at this: https://github.com/pikatchu/LinearML
    comment by jallmann · 2013-08-12 · in Mio: A High-Performance Multicore IO Manager for GHC [pdf]