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