Depends what you are comparing it to, but often listed are features of a modern language & type system: expressive generics, pattern matching, sum & product typ

Depends what you are comparing it to, but often listed are features of a modern language & type system: expressive generics, pattern matching, sum & product types, iterator chaining, etc