Haskell中包装参数化类型消除类型参数的技术名称是什么？

你提到的这种技术叫做存在类型（Existential Types），核心是通过存在量化隐藏参数化类型的具体类型参数，让原本需要类型参数的一元类型（比如H.Context alg）被包装成无类型参数的零元类型（ContextSimple）。

结合你的代码解释 #

在给出的Haskell代码中：

data ContextSimple
    = forall alg. H.HashAlgorithm alg => ContextSimple (H.Context alg)

这是典型的存在类型实现：

• forall alg 在这里表示“存在某个类型alg”（Haskell中forall放在构造器定义里时，语义是存在量化，而非全称量化）
• H.HashAlgorithm alg 约束保证这个存在的类型alg满足哈希算法的类型类要求
• 最终ContextSimple成为无需外部指定类型参数的类型，内部可以封装任意符合约束的H.Context alg实例

深入学习的搜索关键词 #

• 存在类型（Existential Types）
• Haskell 存在量化（Existential Quantification）
• GHC 存在类型扩展
• 类型擦除与存在类型

其他语言的实现方式 #

不同语言对存在类型的支持形式不同：

• Scala：使用forSome语法或泛型通配符，比如class ContextSimple(val ctx: Context[_ <: HashAlgorithm])
• OCaml：通过模块抽象类型或GADTs（广义代数数据类型）模拟存在类型效果
• Rust：借助 trait objects 实现类型擦除，达到类似存在类型的效果，比如struct ContextSimple(Box<dyn HashAlgorithmContext>)
• Java：使用泛型通配符?结合上界约束，比如class ContextSimple { private Context<? extends HashAlgorithm> ctx; }

内容的提问来源于stack exchange，提问作者user1713450