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

静态类型系统有局限性，无法验证运行时情况和保护应用程序免受外部系统交互影响。ORM问题源于将实体视为数据库模式的静态类型视图。使用较低级别的API可以更真实地描述现实，但需要考虑容错性。