list - 等效代码，一种有效，另一种无效

Question

我在 Haskell 中有两个相同的代码，两者都必须在给定位置（参数 n）拆分列表，但是当一个正在工作时另一个不在工作，为什么会发生这种情况？

divide [] _ = ([],[])
divide (h:t) n 
       | n>0 = ( h:list1 , list2 )
       | otherwise = ([],h:t)
       where (list1, list2) = divide t (n-1)

上面的代码工作得很好，但下面的代码不行。

divide [] _ = ([],[])
divide (h:t) n 
       | n>0 = ( h:( divide t (n-1) ) , divide t (n-1) )
       | otherwise = ([],h:t)

ghci 给出以下信息：

除.hs:3:29:

   Couldn't match expected type '[a0]' with actual type '([a0], [a1])'
   In the return type of a call of 'divide'
   In the second argument of '<:>', namely ' divide t (n-1) '
   In the expression: h: divide t (n-1)

编辑：

只是一个注释，我假设

where (list1, list2) = divide t (n-1) 

相当于

where list1 = divide t (n-1)
      list2 = divide t (n-1)

我的假设对吗？错误的假设可能导致更糟糕的结论。

Answer 1

你的假设是错误的。

where (list1, list2) = divide t (n-1) 

相当于

where pair = divide t (n-1) 
      list1 = fst pair
      list2 = snd pair

左侧(list1, list2)是与右侧延迟匹配的模式。它不会为多个变量分配相同的值。