待验证50% 置信事实精确时间
Teal 的类型系统覆盖基础类型（number、string、boolean、nil）、表类型、函数类型以及可选的记录类型，并支持泛型、联合类型和类型别名。
1
来源数
50%
置信度
长期有效
时效性
2026/10/18
首次发现
来源
涉及实体
相关事实
待验证Teal 允许渐进式类型，可以从无类型代码开始逐步添加类型标注，类型检查器会捕获类型不匹配、未定义变量等常见错误，但不改变 Lua 的运行时行为。74% 相似待验证依赖类型允许类型本身依赖于值，例如可定义'长度为n的列表'类型，使许多运行时性质得以在编译期静态保证71% 相似待验证在Haskell中，Kind是类型的类型，描述一个类型构造器需要接受多少个类型参数才能成为一个具体类型。70% 相似待验证列表操作节点针对文件类型数组支持按类型、按大小、按名称过滤68% 相似待验证Haskell的类型类和高阶类型提供了极强的抽象能力，依赖类型语言Idris能在类型层面证明程序的正确性67% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1060397API
curl https://kongchang.com/api/v1/knowledge/claims/1060397MCP
get_claim(id=1060397)