Hacker News new | ask | show | jobs
by SkyMarshal 3649 days ago
>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".