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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		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/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact