Andrei Alexandrescu:
Yes, but what gets ignored here is that typeclasses have a large cognitive cost to everyone involved.
Such costs are an interesting discussion topic :-) To put people up to speed a bit: http://en.wikipedia.org/wiki/Type_class A bit of explanations regarding Rust ones: https://air.mozilla.org/rust-typeclasses/ Deeper info from one of the original designers: http://homepages.inf.ed.ac.uk/wadler/topics/type-classes.html
I think typeclasses generally don't pull their weight.<
Rust and Haskell designers think otherwise, it seems.
We will not add C++ concepts or typeclasses to D.
I agree that maybe now it's too much late to add them to D2. But we are free to discuss about the topic. I didn't know much about typeclasses years ago when people were designing D2 :-( I have studied them only recently while learning Haskell.
Bye, bearophile
