待验证50% 置信事实精确时间
单分派是指根据一个参数的实际类型来决定调用哪个函数实现的多态机制。与之相对的是多分派，即根据多个参数的类型组合选择实现。
1
来源数
50%
置信度
长期有效
时效性
2026/10/23
首次发现
来源
涉及实体
相关事实
待验证choice 类型通过 criteria 参数传入各类别的定义，用于在多个类别中做选择72% 相似待验证在Haskell中，Kind是类型的类型，描述一个类型构造器需要接受多少个类型参数才能成为一个具体类型。65% 相似待验证类型化问题是指每个问题都有明确的输出类型和约束，例如从固定列表中选择、在给定量表上评分或返回是/否概率，使输出结构化、可解析。64% 相似待验证PR #4092 将 Decisions 缓存断点参数类型进行了共享，提取为共享类型以统一不同模块间的类型定义。64% 相似待验证TypeFamilies扩展允许定义类型级函数，分为封闭型和开放型两种；开放型类型族可在多个模块中增量定义实例。63% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1090691API
curl https://kongchang.com/api/v1/knowledge/claims/1090691MCP
get_claim(id=1090691)