待验证50% 置信事实精确时间
TypeApplications扩展允许在表达式层面显式指定类型参数（如read @Int）。
1
来源数
50%
置信度
长期有效
时效性
2026/10/17
首次发现
来源
涉及实体
相关事实
待验证TypeFamilies扩展允许定义类型级函数，分为封闭型和开放型两种；开放型类型族可在多个模块中增量定义实例。72% 相似待验证当为Functor定义实例时，编译器会检查目标类型的Kind是否为* -> *；如果传入Kind为*的类型（如Int），编译器会报错。67% 相似待验证依赖类型允许类型本身依赖于值，例如可定义'长度为n的列表'类型，使许多运行时性质得以在编译期静态保证66% 相似待验证具体类型（如Int、Bool）的Kind是*（现已更名为Type）。65% 相似待验证Haskell的类型类和高阶类型提供了极强的抽象能力，依赖类型语言Idris能在类型层面证明程序的正确性65% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1057005API
curl https://kongchang.com/api/v1/knowledge/claims/1057005MCP
get_claim(id=1057005)