haskell - haskell 中的 SomeException 数据类型

Question

和有什么区别？

data SomeException = forall e . Exception e => SomeException e

data SomeException = Exception e => SomeException e

为什么我们需要 forall ？ link to source

Answer 1

第一个叫做 Existential type .第二个甚至不会编译。

基本上，如果你想让一些变量只出现在右边(=的右边)，你必须添加forall它

它允许你，例如创建异构列表，例如[SomeException] 可以包含 SomeException e 的列表，其中每个元素的 e 都不同。