haskell - 如果没有明确提及,如何知道模块是否需要 RankNTypes 还是 ExistentialTypes?

标签 haskell forall

例如,在 memocombinators 包的源代码中,没有明确提及 LANGUAGE pragma,当尝试导入它时,我会收到错误,因为不包含支持显式 forall 语句的扩展。在这种情况下我如何知道需要哪个扩展?

最佳答案

关于haskell - 如果没有明确提及,如何知道模块是否需要 RankNTypes 还是 ExistentialTypes?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/6663939/

相关文章:

javascript - 如何用过程语言或 OO 语言实现 `forall`(数学)

python - Z3 发现模型与公理不一致

parallel-processing - 如何确保我的Fortran FORALL结构被并行化?

haskell - 在类型类函数上显式 forall

haskell - 以区间为键的类似 map 的容器和类似 zip 的组合操作

haskell - 如何在haskell列表中存储高阶函数数据?

haskell - 在haskell中问题理解非递归列表理解concat

haskell - 代表多个失败案例但只有一个成功案例的惯用类型是什么?

Haskell 函数组合 - (a -> b) -> (a -> c) -> (b -> c -> d) -> (a -> d)

chapel - 如何计算 Chapel forall 循环中的迭代次数