>Type systems - already available in the most popular languages This implies you haven't actually spent time with a strongly typed functional language like Has

>Type systems - already available in the most popular languages This implies you haven't actually spent time with a strongly typed functional language like Haskell. Once you have, it's hard to continue thinking of Java or C++ as having "type systems".