Lambda the Ultimate

inactiveTopic Overloading and higher-order polymorphism
started 8/25/2002; 5:52:50 AM - last post 8/25/2002; 9:04:23 AM
Ehud Lamm - Overloading and higher-order polymorphism  blueArrow
8/25/2002; 5:52:50 AM (reads: 2165, responses: 1)
Overloading and higher-order polymorphism
Mark P. Jones. Functional programming with overloading and higher-order polymorphism. In Johan Jeuring and Erik Meijer, editors, Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques, number 925 in Lecture Notes in Computer Science, pages 97-136. Springer-Verlag, Berlin, 1995.

Our very own Ken Shan mentioned this interestng paper over on the Haskell mailing list. As a polymorphism lover (i.e., fanatic) I liked the general approach.

The explanation of type classes in Haskell is especially good. The last section of the paper may be too abstract for some...

Posted to functional by Ehud Lamm on 8/25/02; 5:54:13 AM

Ehud Lamm - Re: Overloading and higher-order polymorphism  blueArrow
8/25/2002; 9:04:23 AM (reads: 488, responses: 0)
Section 3 about type classes gives some motivating examples, as does section 5 about constructor classes. However, section 4 about kind inference seems a bit thin. Obviously, it is meant to lead to section 5 that combines the high order polymorphims os section 4 with type class overloading -- but I would have liked some more details on the (practical) uses of kinds.