Haskellの長さの関数エラーメッセージ

Question

Haskellのための「ワット・」の一種として、それがhaskell for teachingの最後に指摘しています

length (1,2) 

1 

対

length (1,2,3) 


<loads of error messages> 

その質問、なぜですか？これを修正する方法は？

Answer 1

lengthのタイプがある：あなたがa秒のいくつかのコレクション内a秒の数を返すように読むことができる

Foldable t => t a -> Int 

。 Foldable instance for pairsがあります：

あなたが toListで見ることができますペアの2番目の要素に作用する

instance Foldable ((,) a) where 
    foldMap f (_, y) = f y 

    foldr f z (_, y) = f y z 

：

toList (1,2) 
> [2] 

大きなタプルにはFoldableインスタンスが存在しないため、エラーが発生しlength (1,2,3)を評価しようとしています。

Answer 2

2つの要素を持つタプルはFoldableの型クラスを実装していますが、上位タプルは実装していません。