待验证50% 置信事实精确时间
在 Zig 中类型本身是一等值（first-class value），泛型函数实际上是接受类型作为 comptime 参数的普通函数
1
来源数
50%
置信度
长期有效
时效性
2026/9/20
首次发现
来源
涉及实体
相关事实
待验证z.infer 的实现依赖 TypeScript 的条件类型（Conditional Types）与 infer 关键字，内部实现大致等价于 T extends ZodType<infer Output> ? Output : never68% 相似待验证Zig语言提供comptime机制允许编译期计算，但在大多数其他接口上强制使用vtable路线62% 相似待验证使用 z.string().optional() 会被推断为 string | undefined 类型61% 相似待验证PHP内部使用zval结构表示值，每个zval包含类型标记和值联合体59% 相似待验证依赖类型允许类型本身依赖于值，例如可定义'长度为n的列表'类型，使许多运行时性质得以在编译期静态保证58% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/936374API
curl https://kongchang.com/api/v1/knowledge/claims/936374MCP
get_claim(id=936374)