« earlier | later » Page 1 of 1
Lisp with Rust's (overcomplicated) linear types.
to language-design lisp rust type-systems ... on 10 December 2017
"1ML is a reboot of ML starting from first-class modules, and unifies core and module layer into one small and consistent language." This cleans up some of the things I don't like about ML-family languages, and in the process gets some of the benefits of dependent types without the toolchain overhead. Interesting...
to 1ml functional language-design ml modules type-systems ... on 12 September 2017
Static vs. dynamic languages: a literature review
Metastudy of the effectiveness of static typing. Well worth reading. "The summary of the summary is that most studies find very small effects, if any. However, the studies probably don’t cover contexts you’re actually interested in"
to language-design research software-engineering type-systems ... on 28 February 2016
Rayon: data parallelism in Rust - Baby Steps
Safe fork-join parallelism in Rust through ownership types.
to language-design ownership parallel programming rust type-systems ... on 28 February 2016
Programming language with type propagation for generics (and reasonably clean syntax).
to generics language-design software type-systems ... on 03 January 2011
The Cobra Programming Language
An interesting Python-like programming language. It's nice to see a new language where I'm not cringing at the awful syntax.
to dynamic language-design python software type-systems ... on 03 January 2011
« earlier | later » Page 1 of 1
- type-systems | |
1 | 1ml |
1 | dynamic |
1 | functional |
1 | generics |
6 | language-design |
1 | lisp |
1 | ml |
1 | modules |
1 | ownership |
1 | parallel |
1 | programming |
1 | python |
1 | research |
2 | rust |
2 | software |
1 | software-engineering |
6 | type-systems |
tasty by Adam Sampson.