Typechecker Zoo 是一个用 Rust 实现的项目，旨在简化过去 50 年中最成功的静态类型系统。该项目涵盖多种类型系统，如 Algorithm W、System F、System F-ω 和构造演算，代码简洁易懂，适合学习和开发。