J'essaie de comprendre le combinateur à virgule fixe. Je pense qu'il est utilisé par certaines langues pour implémenter la récursivité. Le principal problème est que je ne pouvais pas obtenir la définition suivante:Y-Combinator definiton
Alors s'il vous plaît expliquer l'image.
Avez-vous fait vous-même la recherche, par exemple lisez l'article [Wikipedia] (https://en.wikipedia.org/wiki/Fixed-point_combinator#Fixed_point_combinators_in_lambda_calculus)? –
@HansLub oui je l'ai lu de wikipedia et je ne l'ai toujours pas compris, c'est pourquoi posté ici. – Charlie
@HansLub comment liriez-vous cette définition de l'image que j'ai liée? – Charlie