[pcwalton]

I don't think the divide between research and industry languages is as deep as you imply. Take your examples: purity and strict typing. Purity has been adopted wholesale by Clojure and has influenced C++11 (constexpr implies purity in addition to many other things). Go, the subject of the post, is stricter about type conversions than the C family languages are. Java's type-safe implementation of generics was influenced by ML.

[tel]

Clojure is far from pure.

[pcwalton]

Yeah, that was a bad choice of words; what I was getting at was the emphasis on immutability.