haskell - 为什么无法获取(,,)的长度？

Question

length (1,2) 

返回结果，但是

length (1, 2, 3)

报错。这是为什么？

读取 (,) 和 (,,) 的类型没有帮助。

编辑:我正在考虑 Data.Foldable length::Foldable t => t a -> Int

的长度

Answer 1

Functor、Traversable，尤其是成对的Foldable 实例有些争议。在某些情况下，它们允许代码编译并执行非预期的操作。我proposed adding the missing functor instances for triples, etc.正如随后的线索所示，这确实触动了神经。那么为什么 (,,) 没有 Foldable 实例呢？因为社区尚未达成应该达成的共识。