./5499 >
bha le principe n'est pas mauvais mais bon ça commence à devenir imbittable tel que ça a été fait sur le C++

Sinon par exemple en OCAML:
-polymorphisme qui permet de faire beaucoup de choses (tout ?) faisable avec les templates de manière bien plus belle
Genre au lieu de faire

template<class T> struct Complexe { T re; T img; };

on fait

type 'a complexe = { re:'a; img:'a }

Et comme le compilo est intelligent et le langage cohérent y'a beaucoup moins de trucs à faire à la main qu'en c++...
Et c'est géré normalement, les types variables sont (presque) des types comme les autres, pas besoin de faire des déclarations explicites bizardes, etc..