此数据类型可以具有type role HCons' representational representational,允许使用coerce添加或删除应用于元素的新类型,而无需遍历列表.
data HNil' = HNil'
data HCons' a b = HCons' a b
但是,这些列表的语法不如具有以下GADT的语法好
data HList (l::[*]) where
HNil :: HList '[]
HCons :: e -> HList l -> HList (e ': l)
我有一个类在这两个表示之间进行转换,这样Prime (HList [a,b]) ~ HCons' a (HCons' b HNil').该课程是否成功？
coerceHList :: Coercible (Prime a) (Prime b) => HList a -> HList b
coerceHList = unsafeCoerce
安全？
当然,生成异构列表的笛卡尔积可以在Haskell中以多种方式完成,例如:
[(x,y) | x <- [1,2,3], y <- [4,5,6]]
要么
(,) <$> [1,2,3] <*> [4,5,6]
但我想要的是这样的功能:
heteroCartesian ::
(a1, a2, ... , an) ->
(b1, b2, ... , bn) ->
((a1,b1), (a1,b2), ... , (a1,bn), (a2,b1), (a2,b2), ... , (a2,bn), (an,b1), ... ,(an,b2), ... , (an,bn))
所以我可以这样做:
f (1,'a',True) (2,'b') ==
((1,2),(1,'b'),('a',2),('a','b'),(True,2),(True,'b'))
我不介意我是使用元组还是其他东西,但我需要像上面一样保留类型信息.
我想要这个的原因是创建测试用例.我有一堆说n功能和m价值观.最终我会将一个函数映射到这些函数上,这些函数将它们全部缩减为相同的类型(a Test)但是到目前为止,n*m我想要执行的测试用例有很多不同的类型(实际上并不是那么简单,因为某些函数只能受限制值的子集).
所以很自然地,将这些异构列表用于其他函数是很好的,例如某些类型map.
我已经看过HList,但它在去年还没有更新过,而且我不确定它是否是最合适的工具.
我对Haskell相对较新,我正在尝试理解HList的一个定义.
data instance HList '[] = HNil
newtype instance HList (x ': xs) = HCons1 (x, HList xs)
pattern HCons x xs = HCons1 (x, xs)
我有几个具体的问题:
我看到的是什么'[]和(x ': xs)语法？它几乎看起来像是在可变参数类型参数上的模式匹配,但我之前从未见过这种语法,也不熟悉Haskell中的可变参数类型参数.我猜这是GHC类型系列的一部分,但我在链接页面上没有看到任何相关信息,而且在Google中搜索语法相当困难.
除了避免拳击之外,使用newtype带有元组的声明(而不是data带有两个字段的声明)是否有任何意义HCons1？