[Scarbutt]

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

That was his point.

[niklasni1]

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