>>44
C++ without templates is truly polymorphic. However, it is limited to first argument dispatch and only has first order polymorphism. Templates in C++ are merely a way to add type polymorphism to C++, and they're one of the few systems in the world that actually have dependent types. E.g., in C++ you can define a template for matrices like this:
template<int N>
struct matrix {
double v[N][N];
};
template<int N>
matrix<N> operator*(matrix<N> const &x, matrix<N> const &y);
In Haskell, doing that is an utter pain in the ass. You can do it, it just really sucks. However, dependent types aren't something that people really miss that much when they're gone... not like multi parameter dispatch, rank two types, garbage collection, a proper module system (instead of header files, which suck), higher order functions, closures, lambda expressions, nested functions, etc... (all of which are missing in C++ (although Cocks will fix it just a little tiny bit), and the hacks that allow you to write "lambda expressions" using templates are really terrible).
>>45
IHBT.
>>46
Okay, leaving.