Ovos de Jacaré: Um Jogo que Ensina Cálculo Lambda

Em 2007, Bret Victor criou "Ovos de Jacaré", um jogo de quebra-cabeça que traduz engenhosamente os conceitos abstratos do cálculo lambda em uma mecânica de jogo divertida. Jacarés famintos representam abstrações lambda, jacarés velhos representam parênteses e ovos representam variáveis. O processo de jacarés comendo outras famílias de jacarés corresponde à redução beta, a regra de cores corresponde à conversão alfa e a regra de morte de jacarés velhos corresponde à eliminação de parênteses. Os jogadores resolvem uma série de quebra-cabeças para entender gradualmente os conceitos centrais do cálculo lambda, como redução beta e conversão alfa. O jogo não apenas fornece uma maneira divertida para as crianças aprenderem cálculo lambda, mas também oferece uma ferramenta intuitiva para entender e calcular o cálculo lambda.