3 ms·
> modern type systems I would dispute the fact that the type system is the a big draw to D. Whilst it is an improvement on C++, it is still hampered by the fac
by bjz_ 13y ago
> modern type systems
I would dispute the fact that the type system is the a big draw to D. Whilst it is an improvement on C++, it is still hampered by the fact that it is ultimately descended from the ALGOL lineage. Advanced type systems lie with the MLs and Haskell, languages that Rust's type system is inspired by. What D has over Rust however is its expressive template metaprogramming. Templates have their shortcomings, but they are still a powerful form of static code generation that can really empower library developers.
- pjmlp 13y agoSure, I wasn't putting one against the other, as I like both languages and feel both will appeal to different types of audiences anyway. My main point was that they follow the school that you need expressive type systems, even if as you noted, each has different strengths. And both, each with a different set of mechanisms, allow for some sort of compile meta-programming.