Démonstration du combinateur Y, l'opérateur de récursivité
par Benoit, 2013-05-01

La définition récursive d’un algorithme est-elle mathématiquement naturelle, ou faut-il absolument donner un nom à une fonction récursive, et utiliser un artifice tel qu’un environnement d’évaluation pour la calculer? La réponse est que la récursivité est un calcul naturel, exprimé en analyse fonctionnelle par le combinateur Y. Cet article présente ce concept par une approche constructive, en utilisant une notation de calcul fonctionnel inspirée du langage Ruby. Cet article requiert une connaissance de base de la programmation fonctionnelle.

Lire le texte complet