haskell - 如何解决 Haskell 类型错误

Question

我正在尝试学习 Haskell，并且正在编写 unzip 函数(是的，我知道它是内置的，这是练习)，但我的递归行遇到了问题。我有:

-- unzip turns a list of two element tuples into two lists
unzip' [] = ([],[])
unzip' [(x,y):ls] = 
    let 
        (a, b) = unzip' ls
    in
        ([x] ++ a, [y] ++ b)

但我收到错误:

Couldn't match expected type `(t, t1)'
           against inferred type `[(t, t1)]'
      Expected type: [(t, t1)] -> (t2, t3)
      Inferred type: [[(t, t1)]] -> ([a], [a1])
    In the expression: unzip' ls
    In a pattern binding: (a, b) = unzip' ls

我不明白如何解压递归调用的结果。谁能解释如何从返回的元组中解压两个列表？

Answer 1

我不知道这是否能解决问题，但在我看来是这样的

unzip' [(x,y):ls] =

应该是:

unzip' ((x,y):ls) =