Je t'ai dit que d'une part le typage n'est pas toujours explicite (pour une fonction générique sur une liste qui par exemple compte le nombre d'élément, tu ne précise rien sur le type de l'argument et il 'devine' que c'est du 'nimportequoi' list ), d'autre part que niveau code c'est compilé une seule fois même si c'est usé avec 42000 types par la suite.(ça a tout de même une influence autre que philosophique). ça te permet par exemple de compiler une fonction comme ça et de lancer le programme avec les args en paramètre dont le type peut changer. (Et prendre une infinité de valeurs, comme dans notre cas avec les listes..)

Ensuite, sur des exemples plus compliqués, tu verra combien la syntaxe de CAML est (sur ce point là) bien plus agréable que les templates

Bon je vais pas plus me fatiguer à te montrer que c'est mieux, au début je répondais juste à 'montrez-moi donc si y'a aussi bien dans d'autres langages'