Hacker News Reader

They're both statically typed, but the type systems obviously aren't equal.

That was his point.

I suppose the main difference is the presence of algebraic data types. But does that even make sense without static typing?