Typechecker Zoo
9 months ago
- #rust
- #type-systems
- #programming-languages
- 创建一个项目，实现过去50年中成功的静态类型系统的最小化实现。
- 选择Rust语言进行实现，因其解析器生态系统完善且易于安装。
- 专注于实际实现细节而非理论深度。
- 包含Algorithm W、System F、System F-ω和构造演算等玩具级实现。
- 使用larlpop、logos和ariadne等Rust库进行解析和测试。
- 项目采用MIT许可证，并在GitHub上开放贡献。