The article seems almost a direct response to the ``A statically typed language I'd actually want to use'' article: http://news.ycombinator.com/item?id=1872501

The article seems almost a direct response to the ``A statically typed language I'd actually want to use'' article: http://news.ycombinator.com/item?id=1872501 http://news.ycombinator.com/item?id=1872501 I agree wholeheartedly with the general sentiment. Even if it is a bit outdated. Type polymorphism (generics) is now well accepted.