Hacker News Reader

Anyone care to guess at what he means by a strong and expressive type system?

I’m pretty sure he’d point to Haskell as the best example.

Common Lisp, {,S,O?CA}ML, and even C# also make the list.

Ada's