The Next Big Language

bearophile bearophileHUGS at lycos.com
Thu Oct 21 16:30:50 PDT 2010


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


More information about the Digitalmars-d mailing list