"Haskellの[（）、（）]"配列

Question

最近、私はHaskellとQuickCheckで自動テストを行ってきました。私はいくつかの失敗がありますが、プログラムは[(),()]をチェックされた引数として取得しました。

"[(),()]"の意味は？

Answer 1

これは2つの()（または「ユニット」）値のリストです。

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

リストは配列ではありません。配列は一定であり、一定時間のインデックスが付けられています。リストはネストされた再帰型です。