Почему вы не можете получить длину (,,)?

Question

length (1,2) 

возвращает результат, но

length (1, 2, 3) 

выдает ошибку. Почему это?

Чтение типов (,) и (,,) не помогло.

Edit: Я думаю о длине от Data.Foldablelength :: Foldable t => t a -> Int

Answer 1

Это является следствием предложения FTP (Foldable-Traversable in Prelude).

С этим length теперь определяются для всего, что является складным, и оказывается, есть Складная экземпляр для пар:

ghci> :i (,) 
data (,) a b = (,) a b -- Defined in ‘GHC.Tuple’ 
... 
instance Monoid a => Applicative ((,) a) -- Defined in ‘GHC.Base’ 
instance Foldable ((,) a) -- Defined in ‘Data.Foldable’ 
instance Traversable ((,) a) -- Defined in ‘Data.Traversable’ 
... 

length (a,b) всегда будет возвращать 1.

Там нет Складного экземпляр, определенный для кортежей более высокого порядка. Например, если вы проверяете классы, определенные для троек:

ghci> :i (,,) 
data (,,) a b c = (,,) a b c -- Defined in ‘GHC.Tuple’ 
instance (Bounded a, Bounded b, Bounded c) => Bounded (a, b, c) 
instance (Eq a, Eq b, Eq c) => Eq (a, b, c) 
instance (Ord a, Ord b, Ord c) => Ord (a, b, c) 
instance (Read a, Read b, Read c) => Read (a, b, c) 
instance (Show a, Show b, Show c) => Show (a, b, c) 
instance (Monoid a, Monoid b, Monoid c) => Monoid (a, b, c) 

вы не видите Складная или проходимые экземпляр, и поэтому length не определено для этих значений.

Update

(a,b) Так считается контейнером одного значения b.

Вы можете увидеть это, наблюдая за вывод этого кода:

import Data.Foldable (fold) 
import Data.Monod 

foo :: Sum Int 
foo = fold (3,4) :: Sum Int 

Оценка foo возвращается Sum {getSum = 4}.

Answer 2

короткий ответ, потому что это не функция с именем length, которая принимает (,,) в качестве входных данных.

Существует функция length которая принимает Складную в качестве входных данных: https://hackage.haskell.org/package/base-4.9.0.0/docs/Data-Foldable.html#v:length

Если вы напечатаете это в GHCI:

:i (,) 

Вы заметили, что экземпляр Складной

(,,) 

не является экземпляром складного.

Answer 3

Functor, Traversable, и наиболее конкретно Foldable экземпляры для пар несколько спорные. Существуют ситуации, когда они позволяют компилировать код и делать то, что не предназначено. I proposed adding the missing functor instances for triples, etc., и, как показывают последующие темы, это действительно коснулось нерва. Итак, почему не (,,) имеют пример Foldable? Потому что сообщество не достигло консенсуса относительно этого.