类型多态元组

Question

10

我注意到使用 PolyKinds 和 DataKinds，以下代码可以顺利编译：

data Pair a b
data Test = Test
type Test2 = Pair 'Test 'Test

然而：

type Test3 = ('Test, 'Test)

很可能由于 (,) 不是种类多态的原因导致失败，这是有道理的，因为它根据其类型参数构造值，而不能构造不属于类别 * 的类型的值。

是否有一个具有种类多态元组的库（可以节省我的时间）？

我确实意识到，与真实元组不同，种类多态元组仅存在于类型级别，但这对于我的目的已经足够了。

- Clinton

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- user2407038 · Accepted Answer

如果您已经在使用 DataKinds，那么您应该使用升级版的内置元组 构造器而不是类型构造器。

type Test3 = '( 'Test, 'Test)

这里有一个种类为 (Test, Test) 的东西。

请注意，在(和'之间必须有一个空格;'('Test, 'Test)是语法错误(解析器中必要的边缘情况)。