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

Haskell中所有类型构造器默认都是柯里化的，支持部分应用，例如Either String的Kind为* -> *。

1

来源数

50%

置信度

长期有效

时效性

2026/10/17

首次发现

来源

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

涉及实体

Haskellconcept 柯里化concept

相关事实

待验证Haskell提供函数组合操作符 . ，F#提供 >> 操作符77% 相似待验证Haskell的类型类和高阶类型提供了极强的抽象能力，依赖类型语言Idris能在类型层面证明程序的正确性74% 相似待验证在Haskell中，Kind是类型的类型，描述一个类型构造器需要接受多少个类型参数才能成为一个具体类型。71% 相似待验证Hindley-Milner 类型系统是 ML 家族语言（包括 OCaml、Haskell、F#）的理论基础，核心特性是「主类型」68% 相似待验证OpenTelemetry 的属性值仅支持字符串、数值和布尔类型，因此二进制内容必须先序列化为字符串形式66% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1056997

API

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

MCP

get_claim(id=1056997)