待验证50% 置信事实精确时间
GHC的PolyKinds扩展允许类型变量拥有多态Kind，使得Proxy等类型可以适配任意Kind。
1
来源数
50%
置信度
长期有效
时效性
2026/10/17
首次发现
来源
涉及实体
相关事实
待验证在较新版本的GHC中，*已被重命名为Type，并可通过Data.Kind模块导入。64% 相似待验证GCC和Clang提供了标准之外的扩展，包括__attribute__、语句表达式、typeof、零长度数组，这些扩展在系统编程中极为常见。59% 相似待验证PR #4092 将 Decisions 缓存断点参数类型进行了共享，提取为共享类型以统一不同模块间的类型定义。56% 相似待验证TypeFamilies扩展允许定义类型级函数，分为封闭型和开放型两种；开放型类型族可在多个模块中增量定义实例。53% 相似待验证在Haskell中，Kind是类型的类型，描述一个类型构造器需要接受多少个类型参数才能成为一个具体类型。53% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1056998API
curl https://kongchang.com/api/v1/knowledge/claims/1056998MCP
get_claim(id=1056998)