Discussion:récursion

Récursivité versus récursion

Je pense qu’il faudrait parler de la relation entre ces deux mots, et de l’étymologie du second. Malheureusement, je n’ai pas de véritable source à avancer.

Il me semble que « récursion » est un anglicisme en informatique où il est employé de façon interchangeable avec le plus courant « récursivité ». À sa page « récursion », le TLFI ne fait que renvoyer à « récursif » et son dérivé « récursivité », où le mot « récursion » lui‐même est absent pour le sens informatique (il a une définition en phonétique). Ce qui renforce l’idée que « récursion » serait un emprunt récent qui ferait doublon avec « récursivité ».

Certains auteurs y introduiraient la nuance décrite dans [1] (piètre référence hélas, mais je n’ai guère d’espoir de trouver mieux) :

Quand on parle des fonctions récursives, on utilise en général deux termes : récursivité et récursion. Lequel faut-il utiliser ?

D'après les dictionnaires, les deux termes sont à peu près synonymes, récursivité étant plus souvent employé. Cependant, on peut faire une nuance entre les deux ; je le fais, ainsi que la plupart des programmeurs français que je connais. On considère en général que récursivité concerne le principe général (« la récursivité c'est pratique ! »), alors que récursion désigne l'action concrète de l'appel récursif (« avec cet argument, ma fonction fait 127 récursions ! », « la récursion de cette ligne n'est pas tail-récursive »). Si vous voulez, c'est un peu la même différence qu'entre « égalité » et « égalisation », « généralité » et « généralisation », ou « propreté » et… « nettoyage ».

Ma propre expérience tend vers cette même conclusion, et le Larousse aussi (bien que sa définition soit (comme souvent) un peu approximative) :

récursion

En informatique, fonction dont la définition fait intervenir cette fonction elle-même.

Des avis mieux renseignés ?

– Maëlan (discussion) 21 juillet 2016 à 14:40 (UTC)