Fantastic explanation of linear types. Another (experimental) language that uses... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

jallmann on April 10, 2015 | parent | context | favorite | on: Fearless concurrency with Rust

Fantastic explanation of linear types.

Another (experimental) language that uses linear types to facilitate concurrency/parallelism is LinearML: https://github.com/pikatchu/LinearML

doublec on April 10, 2015 [–]

ATS is another language that uses linear types: http://www.ats-lang.org/

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact