haskell - 多态种类的用途是什么？

Question

多态种类是 Haskell 类型系统的扩展，supported通过 UHC，允许

data A x y = A (y x)

输入(kinded？)为 a -> (a -> *) -> * .它们有什么用？

Answer 1

一个可能的使用示例是使用 conal 的 TypeCompose用于以无点样式组成 monad 转换器。

type MyT = StateT Foo :. MaybeT :. ContT Bar

(仅作为一个例子，我不知道一个人将如何处理那些 foos 和 bar ..)

代替:

type MyT m = StateT Foo (MaybeT (ContT Bar m))

(除了 newtype -wrappers 之外，这将具有相同的结果)

目前，您需要为不同类型复制组合器代码，此扩展取消了重复并允许使用一段代码来统治它们。