Cette semaine, c'est Renaud Meurisse qui nous propose un talk sur le sujet suivant : Le Y Combinator expliqué
Si vous vous êtes déjà intéressé aux langages fonctionnels, vous avez probablement déjà entendu parler du lambda-calcul. Ce système mathématique théorisé dans les années 1930 constitue la base de la plupart des langages fonctionnels. Extrêmement basique, il est cependant Turing-complet, c'est-à-dire qu'il permet d'exprimer autant de complexité que n'importe quel langage de programmation.
Si comme moi, vous vous demandez comment un système aussi simple peut être aussi expressif, cette courte vidéo pourra vous en donner une première intuition. Elle présente de manière assez dense, mais bien expliquée le concept du Y-Combinator qui permet au lambda-calcul d'exprimer la récursion.
Le lien : https://www.youtube.com/watch?v=QuXJ3kXUCiU
Langue : Anglais
Bon visionnage !
Votre équipe TakiVeille
Image source: https://upload.wikimedia.org/wikipedia/commons/thumb/e/ee/Lambdauclc.svg/800px-Lambdauclc.svg.png
