[Haskell-cafe] Re: do we need types?

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Fri Feb 26 08:07:07 EST 2010

A type is, well, a type.
A type class is a relation between types.

The confusion probably comes from OO programming 
where (interfaces) describe unary relations (= one parameter type classes).

(begin rant) I wouldn't easily give up algebraic data types 
just because OO programmers don't seem know about them -
so the re-invent them and call it "composite" pattern...

More information about the Haskell-Cafe mailing list