"[(),()]"Haskell中的数组

Question

最近,我一直在使用Haskell和QuickCheck进行自动测试.有些时候我有一些失败,但程序检索[(),()]为检查参数.

什么"[(),()]"意思？

Answer 1

这是两个()(或"单位")值的列表.

Prelude> :t [(),()]
[(),()] :: [()]
Prelude> :info ()
data () = ()    -- Defined in ‘GHC.Tuple’

列表不是数组; 数组是平的,具有恒定时间索引.列表是嵌套的递归类型.