Lately on Reddit you see more blog posts about Rust type system, that are sometimes interesting: http://tim.dreamwidth.org/1784423.html Here they discuss about language design matters, syntax complexity, and so on. Bye, bearophile