Alligator Eggs: A Game That Teaches Lambda Calculus
In 2007, Bret Victor created "Alligator Eggs," a puzzle game that ingeniously translates the abstract concepts of lambda calculus into a playful game mechanic. Hungry alligators represent lambda abstractions, old alligators represent parentheses, and eggs represent variables. The process of alligators eating other alligator families corresponds to beta-reduction, the color rule corresponds to alpha-conversion, and the old alligator death rule corresponds to parenthesis elimination. Players solve a series of puzzles to gradually understand the core concepts of lambda calculus, such as beta-reduction and alpha-conversion. The game not only provides a fun way for children to learn lambda calculus but also offers an intuitive tool for understanding and calculating lambda calculus.