文件名称：sixty:使用评估归一化的从属类型检查器
文件大小：222KB
文件格式：ZIP
更新时间：2024-05-01 01:20:01
Haskell
六十 用于依赖类型理论的类型检查器，其使用通过评估进行归一化，并着眼于性能。 可能有一天会进入 。 路线图 表面语法 核心语法 安全快速的幻像型De Bruijn索引 评估 全局变量的内联 回过头再读 解析中 压痕敏感性 漂亮的印刷 范围识别名称打印 统一和元变量 修剪 “相同的元变量”交集规则 解决方案内联 详细阐述局部定义的元变量解决方案 案例表达反转 基本类型检查 详细说明推迟（“强制性多态性”推论） 懒惰的解决方案 近似多态变量推断 查询架构 并行类型检查 简单的模块 *定义 名称解析 进口货 测验 错误测试 多模块测试 与位置无关的隐式参数 失误 源位置跟踪 元变量位置 错误恢复期间 解析中 细化 统一性 打印上下文和让界变量（包括元数据） 数据 详尽的数据定义 建设者 基于类型的重载 A