待验证50% 置信事实精确时间
记录类型（record type）是 Teal 中描述 Lua 表结构的核心手段，语法形如 `local p: {string:number}` 或命名记录 `local type Point = {x:number, y:number}`，对应 Lua 中“用表当结构体/对象”的惯用法。
1
来源数
50%
置信度
长期有效
时效性
2026/10/18
首次发现
来源
涉及实体
相关事实
待验证Teal 允许渐进式类型，可以从无类型代码开始逐步添加类型标注，类型检查器会捕获类型不匹配、未定义变量等常见错误，但不改变 Lua 的运行时行为。64% 相似待验证Teal 的类型系统覆盖基础类型（number、string、boolean、nil）、表类型、函数类型以及可选的记录类型，并支持泛型、联合类型和类型别名。63% 相似待验证符号表是编译或索引阶段生成的元数据结构，记录每个符号名称、类型、作用域、定义位置和引用位置，现代 IDE 的跳转和查找引用功能基于它实现。51% 相似待验证对象数组格式每条记录是自描述的键值对，可读性和容错性优于数组嵌套数组格式51% 相似待验证列类型标注与数据分类任务是为列打上敏感度与治理相关的本体标签50% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1060402API
curl https://kongchang.com/api/v1/knowledge/claims/1060402MCP
get_claim(id=1060402)