[Haskell-cafe] Re: do we need types?
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