Another day in the ordeal of cartesianProduct

bearophile bearophileHUGS at lycos.com
Mon Oct 29 11:16:21 PDT 2012


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


More information about the Digitalmars-d mailing list