Roc 编译器类型系统src/types深度解析从类型表示到 Hindley-Milner 推断【免费下载链接】rocA fast, friendly, functional language.项目地址: https://gitcode.com/GitHub_Trending/ro/roc本文以 Roc 语言编译器仓库中 src/types/README.md 为骨架结合 src/types 目录下的完整 Zig 源码系统拆解 Roc 类型系统的核心实现类型如何被表示、存储、统一、泛化与实例化以及这些机制如何支撑 canonicalize、check、eval 等编译阶段。读完本文你将掌握 Roc 类型系统模块的目录结构、核心数据结构Descriptor、Content、FlatType、Var 等的设计动机理解 Hindley-Milner 类型推断中的 rank 体系、union-find 存储与回滚机制并能在源码层面定位与类型相关的关键实现。模块定位Roc 编译器类型系统的骨架src/types是 Roc 编译器中类型系统的基础实现模块。根据 src/types/README.md 的说明它负责定义 Roc 中所有类型的表示形式包括原始类型primitive types数字、字符串、列表等内建类型代数数据类型algebraic data types记录、标签联合、元组等结构类型函数类型functions纯函数与带副作用函数的类型类型变量type variables在类型推断期间使用的变量。该模块承担四类核心职责README 中将其概括为职责说明Type Representation定义所有 Roc 类型在内存中的存储与操作方式Type Operations提供类型比较、替换substitution与操作的工具Type Variables管理 Hindley-Milner 类型推断中使用的类型变量Built-in Types实现 Roc 核心类型系统数字、字符串、列表等模块的消费方是编译器中的canonicalize、check、eval三个阶段——它们大量使用本模块保证类型安全并为编译与执行提供必要的类型信息。这一论断在源码中也得到印证src/types/mod.zig 作为模块的对外门面统一 re-export 了types、numeral、literal_defaulting、store、instantiate、generalize、import_mapping、debug以及TypeWriter等子模块并声明了完整的测试聚合入口。目录结构与模块分工src/types目录下的每个文件对应一条独立的职责线文件职责types.zig核心类型数据结构Var、Descriptor、Content、FlatType、Alias、Func、Record、TagUnion、NominalType等store.zig类型存储Slot与Descriptor两类存储、union-find 解析、savepoint 回滚generalize.zigHindley-Milner 泛化阶段决定哪些类型变量可被量化为多态instantiate.zig类型实例化为多态类型生成新的类型变量literal_defaulting.zig字面量默认类型裁决的唯一权威numeral.zig数字字面量的精确位数事实与FitSet可表示类型集合计算import_mapping.zig跨模块导入时的类型映射TypeWriter.zig将类型以 S-表达式形式序列化输出用于调试与外部工具集成debug.zig类型调试辅助test/test_rigid_instantiation.zigrigid 类型变量实例化行为的专项测试其中mod.zig的测试块src/types/mod.zig通过std.testing.refAllDecls把test_rigid_instantiation、generalize、numeral、literal_defaulting、TypeWriter的测试全部聚合进types测试二进制中并注释说明了 Zig 惰性分析的细节只有某个被分析过的声明求值了 import该文件的测试才会被收集。类型表示的核心数据结构类型系统的地基是 types.zig 中定义的一组紧凑数据结构它们的顶层注释明确要求保持内存布局小而高效types.zig并通过测试硬性约束结构体大小。Var类型变量的唯一标识/// A type variable pub const Var enum(u32) { _ };Var是一个以 u32 为底层表示的枚举充当类型变量的唯一标识符types.zig。它同时定义了一个SafeList用于安全列表管理以及allocPrint用于调试输出渲染为#N形式。从枚举设计可以看出类型变量本身只是索引真正的类型信息存放在存储层见下文Store。Descriptor类型描述符pub const Descriptor struct { content: Content, rank: Rank, flags: DescriptorFlags .{}, };每个类型变量对应一个Descriptortypes.zig它由三部分组成content类型是什么的语义内容rank变量的等级用于泛化决策flagsDescriptorFlagstypes.zig一个 packed u8包含两个一位标志位empty_tag_union_is_defaultchecker 在证明无任何运行时构造器可实例化后把该未解析变量封闭为[]static_dispatch_rejected检查拒绝了某个静态派发约束标记会跟随等价类而非裸变量索引从而让所有统一到同一类的调用点都报告同一拒绝。有趣的设计细节是DescriptorFlags以结构体数组struct-of-arrays方式与每个 union-find 解析键并存多个标志共享一列字节而非各占一列以此节省内存。Content类型是什么Content是一个 tagged uniontypes.zig直接回答这个类型本质上是什么pub const Content union(enum(u8)) { flex: Flex, rigid: Rigid, alias: Alias, field_presence: FieldPresence, structure: FlatType, err, };flex尚未确定的柔性类型变量Flex可携带可选的名字与静态派发约束types.zigrigid刚性类型变量Rigid带有名字与静态派发约束用于显式类型注解中的固定类型参数types.zigalias命名别名Alias指向另一类型types.zigfield_presence记录字段的在场性required / optional / defaulted见后文structure扁平结构类型FlatTypeerr错误类型用于错误传播。Content上提供了一组unwrap*帮助方法unwrapRecord、unwrapTagUnion、unwrapNominalType、unwrapFunc、unwrapFuncFull它们在switch中穷举所有变体供编译器其他模块快速提取特定结构。FlatType扁平结构FlatTypetypes.zig表示解析类型变量与别名后的具体形态即没有间接层的类型pub const FlatType union(enum(u8)) { record: Record, record_unbound: RecordField.SafeMultiList.Range, tuple: Tuple, nominal_type: NominalType, fn_pure: Func, fn_effectful: Func, fn_unbound: Func, empty_record, tag_union: TagUnion, empty_tag_union, };注意函数类型被细分为三种fn_pure纯函数、fn_effectful带效果函数、fn_unbound效果未定的函数这为 Roc 的效果系统提供了类型层的支撑。结构大小测试内存预算的硬约束types.zig 中的测试直接断言各结构体的sizeOf把保持小巧从设计原则变成编译期防线Descriptor 32 字节Content 28 字节Alias 20 字节FlatType 24 字节Record 12 字节NominalType 20 字节Func 20 字节含 effect 依赖StaticDispatchConstraint 88 字节测试注释还解释了演进历史NominalType从 16 字节涨到 20 字节是因为加入了 source identity 与 opacity 位Func因为有向效果依赖必须在泛化、实例化和跨模块拷贝后仍然存活所以放在函数 payload 内而非 checker 侧状态中。同文件 types.zig 还有一处断言RecordField.Presence为 8 字节、RecordField为 12 字节验证了避免带标签 presence 的填充字节这一布局目标。类型存储Store、Slot 与 union-find类型变量之间通过统一unification建立等价关系而这一关系由 store.zig 的Store管理。Slot类型数据或重定向pub const Slot union(enum) { root: DescStore.Idx, redirect: Var, };Slotstore.zig表示要么是类型数据root指向描述符存储要么是指向另一个类型变量的重定向redirect。这正是典型的union-find并查集表示每个Var内部映射到一个SlotStore.IdxSlot要么是等价类的根并持有Descriptor要么被重定向到同类的其他变量。Slot还实现了序列化/反序列化tag u32 数据用于跨边界传递。Store类型变量的仓库Storestore.zig包含slots类型变量存储SlotStoredescs描述符存储DescStoreroot_metas与descs锁步索引的已检查类代表元数据以及 nominal 声明查找表按 origin module identity statement 排序的索引查找为二分搜索。ResolvedVarDescstore.zig返回一个变量解析后的完整信息已检查代表var_、是否为根、描述符索引与描述符本身——这是类型存储对外的标准查询结果。Savepoint 回滚类型检查的撤销机制类型检查中经常需要试一下再撤销例如默认值探测Store用journaled savepoint实现回滚store.zig。核心思路是把对已有 slot、描述符、等价类根、union rank 的就地写操作记录下来SlotUndo、DescUndo、RootMetaUndo、UnionRankUndo回滚时按记录逆序还原。这里有一个值得注意的编译期开关store.zigconst savepoint_verification: SavepointVerification if (builtin.is_test) .clone_crosscheck else .savepoint_only;生产构建savepoint_only回滚只信任 savepoint 的 undo 轨迹整份拷贝、交叉检查断言与拷贝字段全部编译掉——零代码、零状态开销测试构建clone_crosscheck编译进全量拷贝交叉检查单个测试可通过createSavepointVerifying选择开启普通创建的 savepoint 依然不拷贝保证测试套件跑的是与生产一致的路径。这是性能与可验证性在编译期隔离的典型手法。Rank支撑泛化决策的等级体系Hindley-Milner 类型推断的泛化决策建立在rank等级之上。Rank定义在 types.zig一般而言rank 记录一个变量处于多少个 let 绑定之下rank 0generalized已被泛化的多态通用变量例如List.len中泛化的类型rank 1outermost顶层定义rank 2嵌套 let 中的变量顶层定义里的 let 得到 rank 2依此类推导入变量得到 rank 2源码注释特别说明追踪 rank 让类型推断更快types.zig。Rank还提供min、max、next、prev等工具方法供泛化与统一过程调整变量等级。generalize.zig 的模块文档把这套规则讲得更透彻generalize.zig核心洞察泛化是按变量而非按类型进行的。一个类型可以被部分泛化——部分变量被量化为多态其余变量保持为从外部作用域逃逸出来的共享统一变量。不变量是对 rank N 处泛化的类型调整后所有变量的 rank ≤ Nrank N 的变量被泛化rank N 的变量逃逸并保持单态与外部作用域共享。文档还给出了一个部分泛化的 Roc 示例x 10 # x : α, rank 1, 未被泛化值限制 process |y, _z| { # rank 2 [x, y] # 将 α 与 y 的类型统一 }泛化processrank 2时y与α统一后被拉到 rank 1_z保持在 rank 2结果是process : ∀β. (α, β) - List(α)——只有_z被泛化。之后process(1.U8, hello)会约束共享的α为U8同时也把x约束为U8。这个例子生动展示了逃逸变量如何把多态函数与外部定义耦合起来。generalize.zig的实现使用显式的 rank 调整框架RankFrame及over_args、func、record、record_unbound、tag_union等子帧通过标记rank_adjusted_vars实现循环类型上的短路终止主入口为Generalizer.generalize()。实例化多态类型的落地与泛化相对的是实例化。instantiate.zigsrc/types/instantiate.zig为多态类型生成新鲜的类型变量同时保留别名与结构这对带注解函数的正确处理至关重要。声明背衬的显式打开instantiateNominalBackinginstantiate.zig实现 issue #9983 所要求的显式声明打开操作以调用点的实际参数args按位置替换声明的形参生成decl.backing的全新副本。其关键细节包括调用方提供的var_map作为 scratch被清空后以已解析形参根 → 实参填充调用结束后保留本次实例化创建的全部映射形参既按变量根替换也按 rigid 名字替换——名字路径对模板内部的关联类型引用至关重要模板内嵌的关联别名/命名实例可能携带指向与声明形参变量不同根、但同名的 rigid注解-应用路径一直按名字重新绑定这类 rigid打开操作必须与其保持一致格式错误的头参数下划线/格式错误注解是err而非 rigid模板无法按名字引用它通过Scratch结构instantiate.zig复用堆缓冲frames、value stack、pending tags/fields/constraints/parts以及用于 scheme 预遍历决定哪些单态节点需要被拷贝的reach_edges、reach_heads、reach_stack、reach_state——所有缓冲由TypesStore拥有跨调用复用容量减少分配。测试验证的实例化语义test/test_rigid_instantiation.zig 用三个测试锁定了实例化的核心语义instantiate - generalized flex var creates new flex var测试文件对 rank 为generalized的 flex 变量实例化得到的是不同的新变量且仍是 flexinstantiate - non-generalized flex var DOES NOT create new flex var测试文件对 rank 为outermost未泛化的 flex 变量实例化返回同一个变量——未泛化的变量不应被复制instantiate - generalized rigid var with fresh_flex creates flex var测试文件泛化的 rigid 变量在fresh_flex行为下实例化为 flex 变量。这些测试直接对应多态函数每次调用都要有独立的类型变量这一 HM 系统的核心要求是理解实例化语义的最佳入口。内建类型与字面量默认Int、Frac、NumeralInfo数字类型精度types.zig 定义了供 layout 使用的数字类型精度Int.Precisionu4 枚举u8 / i8 / u16 / i16 / u32 / i32 / u64 / i64 / u128 / i128共 10 种整数精度Frac.Precisionu3 枚举f32 / f64 / dec十进制共 3 种浮点精度。两者的size()与alignment()实现有一个优雅的巧合整数精度枚举值恰好是2 倍 log2(alignment)因此alignment只需enumFromInt(intFromEnum(self) / 2)浮点精度枚举值则直接映射 log2(alignment)f32→2 字节对数→4 字节、f64→3→8 字节、dec→4→16 字节。数值类型大小始终等于其对齐大小。数字字面量事实NumeralInfoNumeralInfotypes.zig携带数字字面量的精确位数事实挂在from_numeral派发约束上。它由解析器产生的精确位数一次性推导经 numeral.zig 的computeFitSet计算FitSet即哪些内建数字类型能精确表示该值的集合而非来自预烘焙的具体值——所有阶段都从同一计算读取同一预计算答案。关键字段包括合并后位数magnitudeu128、scale小数点后位数、fits可表示类型集合、正负号、是否为小数写法、是否有显式后缀如12.U64、能否物化为Num.Numeral以及源区域用于报错。几个值得注意的设计决策合并语义两个字面量的类型变量统一时如if c 1 else smerged求fits集合交集、标志位并集types.zig规范键keyBytestypes.zig把位数、scale、fit set 与语法标志打包成 24 字节哈希键。身份是记录的位数而非归一化值——1.50{150, 2}与1.5{15, 1}哈希不同。注释解释这是刻意为之前导/尾随零写法在实践中极少为去重而对每个字面量做归一化反而是净性能损失代价最多只是规范键/摘要缓存未命中绝不会产生错误的类型或错误的比特。字面量默认的唯一权威literal_defaulting.zig是字面量默认成什么类型这一问题的单一权威实现src/types/literal_defaulting.zig。checker 的 defaulting 遍历、canonical 类型键构建、checked artifact 的 default 阶段扫描、monotype 求解与 lowering 全部调用这里因此各阶段之间无需维护必须一致的跨模块契约——只有一个实现可依赖。DefaultTargetliteral_defaulting.zig数字默认到Dec引号/插值默认到StrconstraintLiteralKindliteral_defaulting.zig把约束还原为字面量种类numeral / quote / interpolationwhere_clause中命名from_numeral等转换钩子的契约同样被视为字面量约束dominantKindliteral_defaulting.zig按固定优先级 numeral quote interpolation 选出主导种类。一个变量可能同时携带多种字面量约束flex/flex 合并如if c 1 else s此类变量永远无法通过类型检查但这里选出的种类决定了尝试哪个头默认Dec vs Str进而决定触发哪条字面量种类诊断——因此该选择不能依赖约束存储顺序否则镜像对称的程序会得到不同的键与诊断defaultTargetForKindliteral_defaulting.zig对LiteralKind穷举新增种类若不补默认选择将直接编译失败。结构化类型记录、标签联合、元组与命名类型记录与字段在场性Recordtypes.zig由字段多列表与一个扩展变量ext组成支持开放记录扩展。RecordFieldtypes.zig包含字段名与PresencePresence携带值类型变量var_与可选的在场性变量presence_varrequired 字段无在场性变量用哨兵值no_presence_var表示FieldPresencetypes.zig是场性求解后的种类required必填普通内联槽.field读取、optional运行时可能缺失带标签槽.?field读取、defaulted构造可省略、槽由默认值物化.field读取统一规则required ~ defaulted合并为required共享字段已提供默认值身份对该值无关required ~ optional与optional ~ defaulted是布局不匹配两个defaulted种类仅当默认值身份相等时统一。DefaultIdtypes.zig是默认字段值的稳定身份声明模块的深度内容身份 默认表达式的规范CIR节点索引。默认表达式本身从不进入类型图两个分别书写的默认值即使文本相同也永不合并——一个写出的默认值就是一个默认值。标签联合TagUniontypes.zig由标签多列表与扩展变量ext组成Tagtypes.zig包含标签名如 Ok、Err与参数类型列表0 个参数即无载荷。标签与记录字段都提供按名排序的比较函数sortByNameAsc/orderByName供统一过程按规范序比较行。命名类型与别名NominalTypetypes.zig是值类型图中的命名类型应用声明身份 实际类型参数。背衬类型只存在于声明表中NominalDecl需要时以实参替换形参实例化声明背衬模板。NominalType还提供canLiftInneropaque 类型仅同模块可提升内部类型非 opaque 恒可提升。NominalDecltypes.zig是单个类型存储内声明形参与背衬模板的唯一所有者形参rigid 变量、背衬模板backing引用形参、从不直接参与统一、Flagspacked u32 的valid位非法声明应用会毒化为 err。声明以origin module identity, source statement为键注册导入声明在首次跨模块边界时被拷贝进目标 store见copy_import.zig从而每个 store 自包含——任何出现在 store 中的命名应用都能在同一 store 内解析其声明。SourceDecltypes.zig是打包进热路径类型 payload 的源语句身份u30 语句号 present 位 builtin-origin 位共用一个 u32 槽。生产者必须使用*Checked构造器超大 CIR 语句号会在 release 构建截断打包字段之前返回error.OutOfMemory对应测试见 types.zig。函数类型与效果依赖Functypes.zig由参数列表、返回类型与effect_deps组成。effect_deps是有向依赖列表而非类型相等一个有效果的依赖使本函数有效果而独立有效果的调用者不会反向使其依赖有效果。该列表为空表示函数效果种类已自足。调试与序列化TypeWriter 与 debugTypeWriter.zig把类型存储内容与单个类型序列化为S-表达式用于调试、检查与外部工具集成src/types/TypeWriter.zig。它通过TypeContext枚举General、RecordExtension、TagUnionExtension、RecordFieldContent、TupleFieldContent、FunctionArgument、FunctionReturn在不同渲染上下文间调整输出风格。其实现有几个工程亮点TypeWriter.zig用seen栈记录当前外层变量已在外层的变量渲染为RecursiveType而不是再次递归——避免递归类型无限展开seen_set哈希表是seen的成员查询半区让是否在外层的判定免于线性扫描渲染用显式frames堆栈而非原生调用栈渲染深度只受可用内存限制——对深类型脊柱安全。debug.zig提供类型系统调试辅助import_mapping.zig处理跨模块导入时的类型变量映射共同补全了类型系统的可观测性与跨模块能力。在编译器流程中的位置与进一步探索综合 src/types/README.md 的说明与 src/types/mod.zig 的门面结构可以梳理出类型系统在编译流水线中的角色canonicalize规范化阶段使用类型表示与内建类型定义把源码转换为带类型信息的规范形式check类型检查阶段是类型系统的主要消费者——运行 union-find 统一、rank 调整、泛化、实例化与字面量默认裁决savepoint 回滚机制支撑其试探性决策eval求值/执行阶段依赖类型信息进行布局与执行Int/Frac的精度与对齐正是供 layout 使用。对想继续深入源码的读者建议按以下顺序阅读通读 src/types/types.zig 前 300 行建立Var/Descriptor/Content/FlatType的心智模型阅读 src/types/store.zig 的Store与 savepoint 部分理解统一状态如何被管理和回滚对照 src/types/generalize.zig 顶部的 Roc 示例理解 rank 泛化运行 src/types/test/test_rigid_instantiation.zig 的测试验证实例化语义最后深入 src/types/literal_defaulting.zig 与 src/types/numeral.zig理解 Roc 独特的数字字面量默认机制。这套紧凑数据结构 union-find 存储 rank 驱动的泛化 单权威默认裁决的设计正是 Roc 类型系统在性能内存预算测试与正确性savepoint 交叉检查、穷举式默认选择之间取得平衡的底层支撑。【免费下载链接】rocA fast, friendly, functional language.项目地址: https://gitcode.com/GitHub_Trending/ro/roc创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
Roc 编译器类型系统（src/types）深度解析：从类型表示到 Hindley-Milner 推断
Roc 编译器类型系统src/types深度解析从类型表示到 Hindley-Milner 推断【免费下载链接】rocA fast, friendly, functional language.项目地址: https://gitcode.com/GitHub_Trending/ro/roc本文以 Roc 语言编译器仓库中 src/types/README.md 为骨架结合 src/types 目录下的完整 Zig 源码系统拆解 Roc 类型系统的核心实现类型如何被表示、存储、统一、泛化与实例化以及这些机制如何支撑 canonicalize、check、eval 等编译阶段。读完本文你将掌握 Roc 类型系统模块的目录结构、核心数据结构Descriptor、Content、FlatType、Var 等的设计动机理解 Hindley-Milner 类型推断中的 rank 体系、union-find 存储与回滚机制并能在源码层面定位与类型相关的关键实现。模块定位Roc 编译器类型系统的骨架src/types是 Roc 编译器中类型系统的基础实现模块。根据 src/types/README.md 的说明它负责定义 Roc 中所有类型的表示形式包括原始类型primitive types数字、字符串、列表等内建类型代数数据类型algebraic data types记录、标签联合、元组等结构类型函数类型functions纯函数与带副作用函数的类型类型变量type variables在类型推断期间使用的变量。该模块承担四类核心职责README 中将其概括为职责说明Type Representation定义所有 Roc 类型在内存中的存储与操作方式Type Operations提供类型比较、替换substitution与操作的工具Type Variables管理 Hindley-Milner 类型推断中使用的类型变量Built-in Types实现 Roc 核心类型系统数字、字符串、列表等模块的消费方是编译器中的canonicalize、check、eval三个阶段——它们大量使用本模块保证类型安全并为编译与执行提供必要的类型信息。这一论断在源码中也得到印证src/types/mod.zig 作为模块的对外门面统一 re-export 了types、numeral、literal_defaulting、store、instantiate、generalize、import_mapping、debug以及TypeWriter等子模块并声明了完整的测试聚合入口。目录结构与模块分工src/types目录下的每个文件对应一条独立的职责线文件职责types.zig核心类型数据结构Var、Descriptor、Content、FlatType、Alias、Func、Record、TagUnion、NominalType等store.zig类型存储Slot与Descriptor两类存储、union-find 解析、savepoint 回滚generalize.zigHindley-Milner 泛化阶段决定哪些类型变量可被量化为多态instantiate.zig类型实例化为多态类型生成新的类型变量literal_defaulting.zig字面量默认类型裁决的唯一权威numeral.zig数字字面量的精确位数事实与FitSet可表示类型集合计算import_mapping.zig跨模块导入时的类型映射TypeWriter.zig将类型以 S-表达式形式序列化输出用于调试与外部工具集成debug.zig类型调试辅助test/test_rigid_instantiation.zigrigid 类型变量实例化行为的专项测试其中mod.zig的测试块src/types/mod.zig通过std.testing.refAllDecls把test_rigid_instantiation、generalize、numeral、literal_defaulting、TypeWriter的测试全部聚合进types测试二进制中并注释说明了 Zig 惰性分析的细节只有某个被分析过的声明求值了 import该文件的测试才会被收集。类型表示的核心数据结构类型系统的地基是 types.zig 中定义的一组紧凑数据结构它们的顶层注释明确要求保持内存布局小而高效types.zig并通过测试硬性约束结构体大小。Var类型变量的唯一标识/// A type variable pub const Var enum(u32) { _ };Var是一个以 u32 为底层表示的枚举充当类型变量的唯一标识符types.zig。它同时定义了一个SafeList用于安全列表管理以及allocPrint用于调试输出渲染为#N形式。从枚举设计可以看出类型变量本身只是索引真正的类型信息存放在存储层见下文Store。Descriptor类型描述符pub const Descriptor struct { content: Content, rank: Rank, flags: DescriptorFlags .{}, };每个类型变量对应一个Descriptortypes.zig它由三部分组成content类型是什么的语义内容rank变量的等级用于泛化决策flagsDescriptorFlagstypes.zig一个 packed u8包含两个一位标志位empty_tag_union_is_defaultchecker 在证明无任何运行时构造器可实例化后把该未解析变量封闭为[]static_dispatch_rejected检查拒绝了某个静态派发约束标记会跟随等价类而非裸变量索引从而让所有统一到同一类的调用点都报告同一拒绝。有趣的设计细节是DescriptorFlags以结构体数组struct-of-arrays方式与每个 union-find 解析键并存多个标志共享一列字节而非各占一列以此节省内存。Content类型是什么Content是一个 tagged uniontypes.zig直接回答这个类型本质上是什么pub const Content union(enum(u8)) { flex: Flex, rigid: Rigid, alias: Alias, field_presence: FieldPresence, structure: FlatType, err, };flex尚未确定的柔性类型变量Flex可携带可选的名字与静态派发约束types.zigrigid刚性类型变量Rigid带有名字与静态派发约束用于显式类型注解中的固定类型参数types.zigalias命名别名Alias指向另一类型types.zigfield_presence记录字段的在场性required / optional / defaulted见后文structure扁平结构类型FlatTypeerr错误类型用于错误传播。Content上提供了一组unwrap*帮助方法unwrapRecord、unwrapTagUnion、unwrapNominalType、unwrapFunc、unwrapFuncFull它们在switch中穷举所有变体供编译器其他模块快速提取特定结构。FlatType扁平结构FlatTypetypes.zig表示解析类型变量与别名后的具体形态即没有间接层的类型pub const FlatType union(enum(u8)) { record: Record, record_unbound: RecordField.SafeMultiList.Range, tuple: Tuple, nominal_type: NominalType, fn_pure: Func, fn_effectful: Func, fn_unbound: Func, empty_record, tag_union: TagUnion, empty_tag_union, };注意函数类型被细分为三种fn_pure纯函数、fn_effectful带效果函数、fn_unbound效果未定的函数这为 Roc 的效果系统提供了类型层的支撑。结构大小测试内存预算的硬约束types.zig 中的测试直接断言各结构体的sizeOf把保持小巧从设计原则变成编译期防线Descriptor 32 字节Content 28 字节Alias 20 字节FlatType 24 字节Record 12 字节NominalType 20 字节Func 20 字节含 effect 依赖StaticDispatchConstraint 88 字节测试注释还解释了演进历史NominalType从 16 字节涨到 20 字节是因为加入了 source identity 与 opacity 位Func因为有向效果依赖必须在泛化、实例化和跨模块拷贝后仍然存活所以放在函数 payload 内而非 checker 侧状态中。同文件 types.zig 还有一处断言RecordField.Presence为 8 字节、RecordField为 12 字节验证了避免带标签 presence 的填充字节这一布局目标。类型存储Store、Slot 与 union-find类型变量之间通过统一unification建立等价关系而这一关系由 store.zig 的Store管理。Slot类型数据或重定向pub const Slot union(enum) { root: DescStore.Idx, redirect: Var, };Slotstore.zig表示要么是类型数据root指向描述符存储要么是指向另一个类型变量的重定向redirect。这正是典型的union-find并查集表示每个Var内部映射到一个SlotStore.IdxSlot要么是等价类的根并持有Descriptor要么被重定向到同类的其他变量。Slot还实现了序列化/反序列化tag u32 数据用于跨边界传递。Store类型变量的仓库Storestore.zig包含slots类型变量存储SlotStoredescs描述符存储DescStoreroot_metas与descs锁步索引的已检查类代表元数据以及 nominal 声明查找表按 origin module identity statement 排序的索引查找为二分搜索。ResolvedVarDescstore.zig返回一个变量解析后的完整信息已检查代表var_、是否为根、描述符索引与描述符本身——这是类型存储对外的标准查询结果。Savepoint 回滚类型检查的撤销机制类型检查中经常需要试一下再撤销例如默认值探测Store用journaled savepoint实现回滚store.zig。核心思路是把对已有 slot、描述符、等价类根、union rank 的就地写操作记录下来SlotUndo、DescUndo、RootMetaUndo、UnionRankUndo回滚时按记录逆序还原。这里有一个值得注意的编译期开关store.zigconst savepoint_verification: SavepointVerification if (builtin.is_test) .clone_crosscheck else .savepoint_only;生产构建savepoint_only回滚只信任 savepoint 的 undo 轨迹整份拷贝、交叉检查断言与拷贝字段全部编译掉——零代码、零状态开销测试构建clone_crosscheck编译进全量拷贝交叉检查单个测试可通过createSavepointVerifying选择开启普通创建的 savepoint 依然不拷贝保证测试套件跑的是与生产一致的路径。这是性能与可验证性在编译期隔离的典型手法。Rank支撑泛化决策的等级体系Hindley-Milner 类型推断的泛化决策建立在rank等级之上。Rank定义在 types.zig一般而言rank 记录一个变量处于多少个 let 绑定之下rank 0generalized已被泛化的多态通用变量例如List.len中泛化的类型rank 1outermost顶层定义rank 2嵌套 let 中的变量顶层定义里的 let 得到 rank 2依此类推导入变量得到 rank 2源码注释特别说明追踪 rank 让类型推断更快types.zig。Rank还提供min、max、next、prev等工具方法供泛化与统一过程调整变量等级。generalize.zig 的模块文档把这套规则讲得更透彻generalize.zig核心洞察泛化是按变量而非按类型进行的。一个类型可以被部分泛化——部分变量被量化为多态其余变量保持为从外部作用域逃逸出来的共享统一变量。不变量是对 rank N 处泛化的类型调整后所有变量的 rank ≤ Nrank N 的变量被泛化rank N 的变量逃逸并保持单态与外部作用域共享。文档还给出了一个部分泛化的 Roc 示例x 10 # x : α, rank 1, 未被泛化值限制 process |y, _z| { # rank 2 [x, y] # 将 α 与 y 的类型统一 }泛化processrank 2时y与α统一后被拉到 rank 1_z保持在 rank 2结果是process : ∀β. (α, β) - List(α)——只有_z被泛化。之后process(1.U8, hello)会约束共享的α为U8同时也把x约束为U8。这个例子生动展示了逃逸变量如何把多态函数与外部定义耦合起来。generalize.zig的实现使用显式的 rank 调整框架RankFrame及over_args、func、record、record_unbound、tag_union等子帧通过标记rank_adjusted_vars实现循环类型上的短路终止主入口为Generalizer.generalize()。实例化多态类型的落地与泛化相对的是实例化。instantiate.zigsrc/types/instantiate.zig为多态类型生成新鲜的类型变量同时保留别名与结构这对带注解函数的正确处理至关重要。声明背衬的显式打开instantiateNominalBackinginstantiate.zig实现 issue #9983 所要求的显式声明打开操作以调用点的实际参数args按位置替换声明的形参生成decl.backing的全新副本。其关键细节包括调用方提供的var_map作为 scratch被清空后以已解析形参根 → 实参填充调用结束后保留本次实例化创建的全部映射形参既按变量根替换也按 rigid 名字替换——名字路径对模板内部的关联类型引用至关重要模板内嵌的关联别名/命名实例可能携带指向与声明形参变量不同根、但同名的 rigid注解-应用路径一直按名字重新绑定这类 rigid打开操作必须与其保持一致格式错误的头参数下划线/格式错误注解是err而非 rigid模板无法按名字引用它通过Scratch结构instantiate.zig复用堆缓冲frames、value stack、pending tags/fields/constraints/parts以及用于 scheme 预遍历决定哪些单态节点需要被拷贝的reach_edges、reach_heads、reach_stack、reach_state——所有缓冲由TypesStore拥有跨调用复用容量减少分配。测试验证的实例化语义test/test_rigid_instantiation.zig 用三个测试锁定了实例化的核心语义instantiate - generalized flex var creates new flex var测试文件对 rank 为generalized的 flex 变量实例化得到的是不同的新变量且仍是 flexinstantiate - non-generalized flex var DOES NOT create new flex var测试文件对 rank 为outermost未泛化的 flex 变量实例化返回同一个变量——未泛化的变量不应被复制instantiate - generalized rigid var with fresh_flex creates flex var测试文件泛化的 rigid 变量在fresh_flex行为下实例化为 flex 变量。这些测试直接对应多态函数每次调用都要有独立的类型变量这一 HM 系统的核心要求是理解实例化语义的最佳入口。内建类型与字面量默认Int、Frac、NumeralInfo数字类型精度types.zig 定义了供 layout 使用的数字类型精度Int.Precisionu4 枚举u8 / i8 / u16 / i16 / u32 / i32 / u64 / i64 / u128 / i128共 10 种整数精度Frac.Precisionu3 枚举f32 / f64 / dec十进制共 3 种浮点精度。两者的size()与alignment()实现有一个优雅的巧合整数精度枚举值恰好是2 倍 log2(alignment)因此alignment只需enumFromInt(intFromEnum(self) / 2)浮点精度枚举值则直接映射 log2(alignment)f32→2 字节对数→4 字节、f64→3→8 字节、dec→4→16 字节。数值类型大小始终等于其对齐大小。数字字面量事实NumeralInfoNumeralInfotypes.zig携带数字字面量的精确位数事实挂在from_numeral派发约束上。它由解析器产生的精确位数一次性推导经 numeral.zig 的computeFitSet计算FitSet即哪些内建数字类型能精确表示该值的集合而非来自预烘焙的具体值——所有阶段都从同一计算读取同一预计算答案。关键字段包括合并后位数magnitudeu128、scale小数点后位数、fits可表示类型集合、正负号、是否为小数写法、是否有显式后缀如12.U64、能否物化为Num.Numeral以及源区域用于报错。几个值得注意的设计决策合并语义两个字面量的类型变量统一时如if c 1 else smerged求fits集合交集、标志位并集types.zig规范键keyBytestypes.zig把位数、scale、fit set 与语法标志打包成 24 字节哈希键。身份是记录的位数而非归一化值——1.50{150, 2}与1.5{15, 1}哈希不同。注释解释这是刻意为之前导/尾随零写法在实践中极少为去重而对每个字面量做归一化反而是净性能损失代价最多只是规范键/摘要缓存未命中绝不会产生错误的类型或错误的比特。字面量默认的唯一权威literal_defaulting.zig是字面量默认成什么类型这一问题的单一权威实现src/types/literal_defaulting.zig。checker 的 defaulting 遍历、canonical 类型键构建、checked artifact 的 default 阶段扫描、monotype 求解与 lowering 全部调用这里因此各阶段之间无需维护必须一致的跨模块契约——只有一个实现可依赖。DefaultTargetliteral_defaulting.zig数字默认到Dec引号/插值默认到StrconstraintLiteralKindliteral_defaulting.zig把约束还原为字面量种类numeral / quote / interpolationwhere_clause中命名from_numeral等转换钩子的契约同样被视为字面量约束dominantKindliteral_defaulting.zig按固定优先级 numeral quote interpolation 选出主导种类。一个变量可能同时携带多种字面量约束flex/flex 合并如if c 1 else s此类变量永远无法通过类型检查但这里选出的种类决定了尝试哪个头默认Dec vs Str进而决定触发哪条字面量种类诊断——因此该选择不能依赖约束存储顺序否则镜像对称的程序会得到不同的键与诊断defaultTargetForKindliteral_defaulting.zig对LiteralKind穷举新增种类若不补默认选择将直接编译失败。结构化类型记录、标签联合、元组与命名类型记录与字段在场性Recordtypes.zig由字段多列表与一个扩展变量ext组成支持开放记录扩展。RecordFieldtypes.zig包含字段名与PresencePresence携带值类型变量var_与可选的在场性变量presence_varrequired 字段无在场性变量用哨兵值no_presence_var表示FieldPresencetypes.zig是场性求解后的种类required必填普通内联槽.field读取、optional运行时可能缺失带标签槽.?field读取、defaulted构造可省略、槽由默认值物化.field读取统一规则required ~ defaulted合并为required共享字段已提供默认值身份对该值无关required ~ optional与optional ~ defaulted是布局不匹配两个defaulted种类仅当默认值身份相等时统一。DefaultIdtypes.zig是默认字段值的稳定身份声明模块的深度内容身份 默认表达式的规范CIR节点索引。默认表达式本身从不进入类型图两个分别书写的默认值即使文本相同也永不合并——一个写出的默认值就是一个默认值。标签联合TagUniontypes.zig由标签多列表与扩展变量ext组成Tagtypes.zig包含标签名如 Ok、Err与参数类型列表0 个参数即无载荷。标签与记录字段都提供按名排序的比较函数sortByNameAsc/orderByName供统一过程按规范序比较行。命名类型与别名NominalTypetypes.zig是值类型图中的命名类型应用声明身份 实际类型参数。背衬类型只存在于声明表中NominalDecl需要时以实参替换形参实例化声明背衬模板。NominalType还提供canLiftInneropaque 类型仅同模块可提升内部类型非 opaque 恒可提升。NominalDecltypes.zig是单个类型存储内声明形参与背衬模板的唯一所有者形参rigid 变量、背衬模板backing引用形参、从不直接参与统一、Flagspacked u32 的valid位非法声明应用会毒化为 err。声明以origin module identity, source statement为键注册导入声明在首次跨模块边界时被拷贝进目标 store见copy_import.zig从而每个 store 自包含——任何出现在 store 中的命名应用都能在同一 store 内解析其声明。SourceDecltypes.zig是打包进热路径类型 payload 的源语句身份u30 语句号 present 位 builtin-origin 位共用一个 u32 槽。生产者必须使用*Checked构造器超大 CIR 语句号会在 release 构建截断打包字段之前返回error.OutOfMemory对应测试见 types.zig。函数类型与效果依赖Functypes.zig由参数列表、返回类型与effect_deps组成。effect_deps是有向依赖列表而非类型相等一个有效果的依赖使本函数有效果而独立有效果的调用者不会反向使其依赖有效果。该列表为空表示函数效果种类已自足。调试与序列化TypeWriter 与 debugTypeWriter.zig把类型存储内容与单个类型序列化为S-表达式用于调试、检查与外部工具集成src/types/TypeWriter.zig。它通过TypeContext枚举General、RecordExtension、TagUnionExtension、RecordFieldContent、TupleFieldContent、FunctionArgument、FunctionReturn在不同渲染上下文间调整输出风格。其实现有几个工程亮点TypeWriter.zig用seen栈记录当前外层变量已在外层的变量渲染为RecursiveType而不是再次递归——避免递归类型无限展开seen_set哈希表是seen的成员查询半区让是否在外层的判定免于线性扫描渲染用显式frames堆栈而非原生调用栈渲染深度只受可用内存限制——对深类型脊柱安全。debug.zig提供类型系统调试辅助import_mapping.zig处理跨模块导入时的类型变量映射共同补全了类型系统的可观测性与跨模块能力。在编译器流程中的位置与进一步探索综合 src/types/README.md 的说明与 src/types/mod.zig 的门面结构可以梳理出类型系统在编译流水线中的角色canonicalize规范化阶段使用类型表示与内建类型定义把源码转换为带类型信息的规范形式check类型检查阶段是类型系统的主要消费者——运行 union-find 统一、rank 调整、泛化、实例化与字面量默认裁决savepoint 回滚机制支撑其试探性决策eval求值/执行阶段依赖类型信息进行布局与执行Int/Frac的精度与对齐正是供 layout 使用。对想继续深入源码的读者建议按以下顺序阅读通读 src/types/types.zig 前 300 行建立Var/Descriptor/Content/FlatType的心智模型阅读 src/types/store.zig 的Store与 savepoint 部分理解统一状态如何被管理和回滚对照 src/types/generalize.zig 顶部的 Roc 示例理解 rank 泛化运行 src/types/test/test_rigid_instantiation.zig 的测试验证实例化语义最后深入 src/types/literal_defaulting.zig 与 src/types/numeral.zig理解 Roc 独特的数字字面量默认机制。这套紧凑数据结构 union-find 存储 rank 驱动的泛化 单权威默认裁决的设计正是 Roc 类型系统在性能内存预算测试与正确性savepoint 交叉检查、穷举式默认选择之间取得平衡的底层支撑。【免费下载链接】rocA fast, friendly, functional language.项目地址: https://gitcode.com/GitHub_Trending/ro/roc创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考