Greg's Devblog Par un développeur, pour les développeurs

21sept/100

Lambda Calcul pour les nuls

Hier j'ai eu un cours (Typage et Polymorphisme) où ça parlait à nouveau de Lambda Calcul. Dit comme ça, tout le monde s'en fout :) Mais en fait ce qui était sympa c'est le TD/TME qui a suivi, au cours duquel on avait un lien à aller voir :

http://worrydream.com/AlligatorEggs/

Je vous l'accorde, rien que le nom du lien est déjà suspect... Mais en fait c'est une méthode pour apprendre le Lambda Calcul sans jamais utiliser aucun terme de ce dernier. En gros une méthode purement visuelle, avec des alligators et des oeufs. C'est plutôt bien fait (en tout cas à mes yeux de pauvre petit codeur qui ne sait rien dessiner), et assez marrant à lire (même si on sait déjà en faire).

Excellent, non ?

Commentaires (0) Trackbacks (0)

Aucun commentaire pour l'instant


Laisser un commentaire


Aucun trackbacks pour l'instant