On 10/29/12 2:16 PM, bearophile wrote:
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
For those who wouldn't know how to search the Net, these indeed are
quite appropriate.
I think typeclasses generally don't pull their weight.<
Rust and Haskell designers think otherwise, it seems.
It's a matter of what priorities the language has and what other
features are available overlapping with the projected usefulness.
Andrei
