名称: 类型推断引擎 描述: 实现并测试类型推断算法，包括算法W和基于约束的推断 允许使用的工具:
- Bash
- 读取
- 写入
- 编辑
- 全局匹配
- 文本搜索 元数据: 专业领域: 计算机科学 领域: 科学 类别: 编程语言理论 阶段: 6
类型推断引擎
目的
为编程语言实现提供类型推断算法的专家指导。
能力
- 算法W实现
- 约束生成与求解
- 带出现检查的统一化
- Let-多态性（Hindley-Milner）
- 主类型计算
- 类型错误诊断
使用指南
- 约束生成: 从表达式生成类型约束
- 统一化: 实现统一化算法
- 泛化: 处理let-多态性
- 错误信息: 生成有信息量的类型错误
- 测试: 在测试用例上验证推断
工具/库
- 语言工作台
- 约束求解器
- 类型推断库