The Next Big Language

[bearophile]

retard:

- "Complex integer types": Just L.
- "Safety features": it misses integral overflow tests and static contract checking (and many other things done by C lint tools, etc).
- "Evaluation strategies": "by need" was present, but I think it's now deprecated.
- "Polymorphism": template template arguments are missing, they allow an almost-untyped form of higher order polymorphism.

Some of those features aren't compatible with each other. In the end your list is not so useful, there are many other unlisted things present elsewhere, it can't be complete. Even Scala probably has some type system features unlisted there.

Bye,
bearophile