Hacker News Reader

> decent type system

I'd call it a bare minimum type system, not "decent"

golang and C would take that spot :-)

Records, pattern matching, string templates, and more to come for Java for which the other two have nothing equivalent.