类型学是一个正在进行中的项目，旨在尝试用 Swift 自身实现 Swift 的类型检查。目前，它使用 SwiftSyntax 作为解析器，但未来一旦有纯 Swift 解析器可用，它已准备好切换到其他纯 Swift 解析器。
- 教育：理解如何在 Swift 编译器中实现类型检查
- 用户体验：找到报告类型错误的最佳方式，并改进相关的开发者工具
- 研究与实验：原型化可以在 Swift 类型系统中充分开发的高级功能。
与 Apple 的 Swift 编译器中的类型检查器 相同，Typology 依赖于这样一个事实：你可以使用一组类型约束来表达 类型系统，这些约束通过 合一 来解决。
- Apple 的 Swift 编译器类型检查器设计与实现，多位贡献者
- 从零开始构建类型系统，作者：@CodaFi
- 为你编写 Haskell：Hindley-Milner 推理，作者：@sdiehl
- 在 Haskell 中进行 Haskell 类型检查，作者：Mark P Jones
- “关于 Hindley-Milner，你有哪些不理解的地方？” StackOverflow 上的问题和答案
- 所以你想编写一个类型检查器...，作者：@psygnisfive
- Swift 类型检查器中的指数时间复杂度，作者：@mattgallagher
- 包含 Martin Grabmüller 的“Algorithm W Step-by-Step”的 Swift Playground，作者：@CodaFi
- Apple 的 Swift 编译器依赖分析，多位贡献者