Another day in the ordeal of cartesianProduct

[Andrei Alexandrescu]

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