Haskell 中的通用模式

Question

我希望 Haskell 的编译器能够理解 f v 在给定 Unfold v f 的情况下是类型安全的（尽管这是一项艰巨的任务）。

data Sequence a = FirstThen a (Sequence a) | Repeating a | UnFold b (b -> b) (b -> a)

有没有什么方法可以在不添加额外模板参数的情况下为数据类型封装通用模式。

（我知道针对这种特定情况使用惰性映射的解决方案，但我正在寻求更通用的解决方案）

Answer 1

您可以使用存在量化来实现：

data Sequence a = ... | forall b. UnFold b (b -> b) (b -> a)

我不确定这是否比直接存储展开结果的更简单解决方案更适合您：

data Stream a = Cons a (Stream a)
data Sequence' a = ... | Explicit (Stream a)

特别是，如果有人递给您Sequence a，您无法对其中包含的b 进行模式匹配，即使您认为自己知道它们是什么类型。