待验证50% 置信事实精确时间

在较新版本的GHC中，*已被重命名为Type，并可通过Data.Kind模块导入。

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/17

首次发现

有效期至：2027/1/15

来源

Haskell的Kind系统：类型的类型解析

涉及实体

GHCproduct Typeconcept Data.Kindconcept

相关事实

待验证具体类型（如Int、Bool）的Kind是*（现已更名为Type）。66% 相似待验证GHC的PolyKinds扩展允许类型变量拥有多态Kind，使得Proxy等类型可以适配任意Kind。64% 相似待验证GCC和Clang提供了标准之外的扩展，包括__attribute__、语句表达式、typeof、零长度数组，这些扩展在系统编程中极为常见。63% 相似待验证v1.4.0 为组织合规设置状态引入了命名类型（named types）58% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1057004

API

curl https://kongchang.com/api/v1/knowledge/claims/1057004

MCP

get_claim(id=1057004)