Templates in FPL?

[Anton Moscal]

On Fri, 18 May 2001, Jerzy Karczmarczuk wrote:

> We know that a good part of "top-down" polymorphism (don't ask me what
> do I mean by that...) in C++ is emulated using templates.
> 
> Always when somebody mentions templates in presence of a True Functionalist
> Sectarian, the reaction is "What!? Abomination!!".
> 
> Now the question: WHY?

ordinary FP polymorphish is as strict analogue of the C++
template-functions

Haskell type clasess is as close analog for the C++ template classes
(studing of the Haskell type classes clarify to me many aspects of the C++
classes templates semantic).

Regards, 
Anton