待验证50% 置信事实精确时间
类型化问题是指每个问题都有明确的输出类型和约束，例如从固定列表中选择、在给定量表上评分或返回是/否概率，使输出结构化、可解析。
1
来源数
50%
置信度
长期有效
时效性
2026/10/19
首次发现
来源
涉及实体
相关事实
待验证d1-ultra 支持三种问题类型：Boolean（是/否概率）、Choice（闭集多分类）、Score（序数回归/有序量表打分）。72% 相似待验证契约声明和类型系统解决不同层面的问题：类型系统刻画什么值可以被传递，契约刻画值必须满足哪些额外属性。67% 相似待验证依赖类型允许类型本身依赖于值，例如可定义'长度为n的列表'类型，使许多运行时性质得以在编译期静态保证66% 相似待验证类型安全源自编程语言领域，指程序在编译或运行阶段能保证变量的值始终符合其声明的类型，从而早期捕获类型不匹配错误65% 相似待验证在Lean中，张量可以表示为带索引的有限维数组类型，形状约束通过依赖类型在编译期静态检查。64% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1071386API
curl https://kongchang.com/api/v1/knowledge/claims/1071386MCP
get_claim(id=1071386)