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

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom