18 May
2001
18 May
'01
4:33 p.m.
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