Tasty » Adam Sampson's type-systems bookmarks

Carp | Veit's Blog edit / delete

Lisp with Rust's (overcomplicated) linear types.

to language-design lisp rust type-systems ... on 10 December 2017

1ML - core and modules united edit / delete

"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 edit / delete

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 edit / delete

Safe fork-join parallelism in Rust through ownership types.

to language-design ownership parallel programming rust type-systems ... on 28 February 2016

Clay Programming Language edit / delete

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 edit / delete

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