Cuisiner le Combinateur Y à partir de zéro : Partie 1 - Le Combinateur de point fixe

Cet article explore le combinateur Y, une construction mathématique qui implémente la récursivité dans les langages fonctionnels sans auto-référence explicite. Il commence par expliquer les points fixes, puis dérive progressivement la formule du combinateur Y, en expliquant son mécanisme d’auto-réplication. Grâce à l’analyse du combinateur Ω, l’auteur montre comment le combinateur Y évite l’imbrication infinie grâce à l’auto-réplication au moment de l’exécution. L’article introduit également brièvement le calcul lambda et les systèmes formels, jetant les bases d’une compréhension plus approfondie du combinateur Y dans les parties suivantes.