用鳄鱼游戏理解λ演算

Bret Victor在2007年设计了一个名为“鳄鱼蛋”的益智游戏，巧妙地将λ演算的抽象概念转化为生动的游戏机制。游戏中，饥饿的鳄鱼代表λ抽象，老鳄鱼代表括号，蛋代表变量。鳄鱼吃掉其他鳄鱼家族的过程对应β规约，颜色规则对应α转换，老鳄鱼死亡规则对应括号消除。玩家通过解决一系列谜题，逐步理解λ演算的核心概念，例如β规约和α转换。该游戏不仅为儿童学习λ演算提供了一种趣味方式，也为理解和计算λ演算提供了一种直观的工具。