如何修复 Haskell 中类型的“无实例”错误？

Question

我正在研究一个名为 unzipTriples 的 function。 它采用三元组列表，并且可以采用任何类型（多态参数）。 function 应该返回一个包含三个列表的元组，其中每个结果列表都由三元组的第一个元素、三元组的第二个元素和三元组的第三个元素组成。 例如，unzipTriples [(1,2,3), (4, 5, 6), (7, 8, 9)] 应该产生 ([1,4,7], [2, 5, 8], [3 , 6, 9]).

我的第一个问题是，在基本情况下，它应该返回 3 个空列表的三元组（三元组）还是应该只返回一个空的三元组？

我正在针对三个空元组对其进行测试，但出现此错误：

对于第一个测试用例，我收到此错误：

Couldn't match expected type ‘(Char, Char, Char)’
                  with actual type ‘()’
    • In the expression: ()
      In the first argument of ‘unzipTriples’, namely
        ‘[(1, 2, 3), ('a', 'b', 'c'), ()]’
      In the first argument of ‘shouldBe’, namely
        ‘unzipTriples [(1, 2, 3), ('a', 'b', 'c'), ()]’
   |        
47 |       unzipTriples [(1, 2, 3), ('a', 'b', 'c'), ()] `shouldBe` (([], [], []) :: ([Int], [Char], [Int]))
   |                                                 ^^

对于第二个，我收到此错误：

    • No instance for (Data.String.IsString Char)
        arising from the literal ‘"Hello"’
    • In the expression: "Hello"
      In the expression: ("Hello", "World", "!!")
      In the first argument of ‘unzipTriples’, namely
        ‘[(- 1, 2.345, 3.0), ("Hello", "World", "!!"), ('A', 'A', 'A')]’
   |        
59 |       unzipTriples [(-1, 2.345, 3.0), ("Hello", "World", "!!"), ('A', 'A', 'A')] `shouldBe` ([-1, "Hello", 'A'], [2.345, "World", 'A'], [3.0, "!!", 'A'])
   |

第二个错误发生在所有类型上，包括 2.345、'A' 和 -1。 有什么办法可以解决这些问题吗？

Answer 1

它应该返回 3 个空列表的三元组（三元组）还是应该只返回一个空的三元组？

空三元组没有意义， ()不是空三元组。 它是unit type ，但即使我们假设它是一个空元组，它也不是一个三元组。 我们需要返回一个包含三个列表的三元组。 如果给定列表为空，则返回的唯一有意义的是三个空列表的三元组，因为我们没有用数据构造列表的价值。

第二个错误发生在所有类型上，包括 2.345、'A' 和 -1。 有什么办法可以解决这些问题吗？

在[(1, 2, 3), ( 'a' , 'b' , 'c' ), () ]中使用() ) 没有意义。 列表的所有项目都需要具有相同的类型， (1, 2, 3)是一个三元组，其中所有项目都是类型的值，这些类型是Num类型类的实例，而()是单元类型。

此外(1, 2, 3)和('a', 'b', 'c')也有不同的类型： (1, 2, 3)可以有类型(Int, Int, Int) （这三个项目可以有不同的类型，但都应该是Num类型类的实例），而('a', 'b', 'c')的类型是(Char, Char, Char) 。

因此，您无法构建这样的列表。 例如，您可以构造一个列表：

[(1, 'a', "foo"), (4, 'e', "bar")]

这是一个三元组列表，其中三元组的第一项的类型是Num类型类的实例，第二项的类型为Char ，最后一项的类型为String 。 这然后例如产生：

ghci> unzipTriples [(1, 'a', "foo"), (4, 'e', "bar")]
([1,4],"ae",["foo","bar"])