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

类型构造器Maybe的Kind是* -> ，Either的Kind是 -> * -> *。

1

来源数

50%

置信度

长期有效

时效性

2026/10/17

首次发现

来源

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

涉及实体

Haskellconcept Maybeconcept Eitherconcept

相关事实

待验证许多现代编程字体（包括 Iosevka 的部分变体）支持编程连字，将 !=、=>、=== 等符号组合渲染成单一字形。61% 相似待验证正则表达式对应乔姆斯基层级中的正则语言（Type-3），CFG 对应上下文无关语言（Type-2）60% 相似待验证oh-my-pi 使用 TypeScript 编写59% 相似待验证Meer使用TypeScript编写59% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1056996

API

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

MCP

get_claim(id=1056996)