Huevos de cocodrilo: Un juego que enseña cálculo lambda
En 2007, Bret Victor creó "Huevos de cocodrilo", un juego de rompecabezas que ingeniosamente traduce los conceptos abstractos del cálculo lambda en una mecánica de juego divertida. Los cocodrilos hambrientos representan abstracciones lambda, los cocodrilos viejos representan paréntesis y los huevos representan variables. El proceso de los cocodrilos que se comen a otras familias de cocodrilos corresponde a la reducción beta, la regla del color corresponde a la conversión alfa y la regla de muerte de los cocodrilos viejos corresponde a la eliminación de paréntesis. Los jugadores resuelven una serie de rompecabezas para comprender gradualmente los conceptos centrales del cálculo lambda, como la reducción beta y la conversión alfa. El juego no solo proporciona una forma divertida para que los niños aprendan cálculo lambda, sino que también ofrece una herramienta intuitiva para comprender y calcular el cálculo lambda.