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

具体类型（如Int、Bool）的Kind是*（现已更名为Type）。

1

来源数

50%

置信度

长期有效

时效性

2026/10/17

首次发现

来源

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

涉及实体

Haskellconcept Typeconcept

相关事实

待验证在Haskell中，Kind是类型的类型，描述一个类型构造器需要接受多少个类型参数才能成为一个具体类型。68% 相似待验证v1.4.0 为组织合规设置状态引入了命名类型（named types）68% 相似待验证Kind描述的是类型的形状，而类型类描述的是类型的能力，两者处于不同的抽象层级。67% 相似待验证在较新版本的GHC中，*已被重命名为Type，并可通过Data.Kind模块导入。66% 相似待验证TypeApplications扩展允许在表达式层面显式指定类型参数（如read @Int）。65% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1056995

API

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

MCP

get_claim(id=1056995)