Krokodil-Eier: Ein Spiel, das Lambda-Kalkül lehrt
Im Jahr 2007 entwickelte Bret Victor "Krokodil-Eier", ein Puzzlespiel, das die abstrakten Konzepte des Lambda-Kalküls auf spielerische Weise vermittelt. Hungernde Krokodile stellen Lambda-Abstraktionen dar, alte Krokodile Klammern und Eier Variablen. Der Prozess, in dem Krokodile andere Krokodilfamilien fressen, entspricht der Beta-Reduktion, die Farbregel der Alpha-Konvertierung und die Sterberegel alter Krokodile der Klammer-Eliminierung. Spieler lösen eine Reihe von Rätseln, um die zentralen Konzepte des Lambda-Kalküls wie Beta-Reduktion und Alpha-Konvertierung schrittweise zu verstehen. Das Spiel bietet nicht nur eine unterhaltsame Möglichkeit für Kinder, Lambda-Kalkül zu lernen, sondern auch ein intuitives Werkzeug zum Verstehen und Berechnen des Lambda-Kalküls.