4 ms·
Fantastic explanation of linear types. Another (experimental) language that uses linear types to facilitate concurrency/parallelism is LinearML: https://github
by jallmann 12y ago
Fantastic explanation of linear types.
Another (experimental) language that uses linear types to facilitate concurrency/parallelism is LinearML: https://github.com/pikatchu/LinearML https://github.com/pikatchu/LinearML
- doublec 12y agoATS is another language that uses linear types: http://www.ats-lang.org/ http://www.ats-lang.org/