"Haskell의 [(),()]"배열

Question

최근에 저는 Haskell과 QuickCheck을 이용한 자동 테스트를 해왔습니다. 어떤 때는 실패했지만 프로그램은 확인 된 인수로 [(),()]을 검색했습니다.

"[(),()]"은 무엇을 의미합니까?

Answer 1

두 개의 () (또는 "단위") 값 목록입니다.

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

목록은 배열이 아닙니다. 배열은 일정 시간 인덱싱과 함께 평면입니다. 목록은 중첩 된 재귀 유형입니다.