./5 > En CAML, le compilo "dérécursifie" le code récursif et le traduit en une version itérative en interne, lorsqu'il génère le code. C'est pour ça que ça ne pose pas de problème de performance... Après il semble qu'en termes de conception, le récursif est bien adapté au CAML.
Mais en C/C++, le compilo n'optimise pas (ou peu) la récursivité, et ça peut donner lieu à des performances moindres. Micheal Abrash obtenait un gain de 15-20% lorsqu'il réécrivait en version itérative ses algos récursifs.