D'un point de vue plus général, nous venons de montrer que si pour un même algorithme, il est possible de produire plusieurs codages, ce que nous savions, le choix du codage n'est pas toujours sans conséquence. La mesure la complexité (selon un critère) d'un programme permet alors de comparer les différentes solutions. Nous avons mesuré ici une complexité en nombre d'appels (ce qui revient à une complexité en temps de calcul) mais il aurait été possible de le faire en mesurant l'espace de travail utilisé (on pourrait par exemple calculer cette mesure pour les fonctions plus-grand1 et plus-grand3 du paragraphe ??, cela est laissé en exercice).
De plus ce travail nous montre qu'un programme peut lui aussi être un sujet d'étude. Un programme est donc non seulement la réponse à un problème mais peu lui même être une source d'étude.
