Œufs de crocodile : Un jeu qui enseigne le calcul lambda

En 2007, Bret Victor a créé "Œufs de crocodile", un jeu de puzzle qui traduit ingénieusement les concepts abstraits du calcul lambda en une mécanique de jeu ludique. Les crocodiles affamés représentent les abstractions lambda, les vieux crocodiles représentent les parenthèses et les œufs représentent les variables. Le processus où les crocodiles mangent d'autres familles de crocodiles correspond à la réduction bêta, la règle des couleurs correspond à la conversion alpha et la règle de mort des vieux crocodiles correspond à l'élimination des parenthèses. Les joueurs résolvent une série d'énigmes pour comprendre progressivement les concepts centraux du calcul lambda, tels que la réduction bêta et la conversion alpha. Le jeu offre non seulement une manière amusante pour les enfants d'apprendre le calcul lambda, mais aussi un outil intuitif pour comprendre et calculer le calcul lambda.