模式匹配與解構的嚴格性

Question

我試圖按照foldr的術語定義原始遞歸，如A tutorial on the universality and expressiveness on fold第4.1章所述。

這裏是它

simpleRecursive f v xs = fst $ foldr g (v,[]) xs 
    where 
    g x (acc, xs) = (f x xs acc,x:xs) 

然而，以上定義不停止對head $ simpleRecursive (\x xs acc -> x:xs) [] [1..]

第一次嘗試下面是暫停

simpleRecursive f v xs = fst $ foldr g (v,[]) xs 
    where 
    g x r = let (acc,xs) = r 
      in (f x xs acc,x:xs) 

鑑於幾乎相同的定義，但不同的結果定義，爲什麼它有所不同？這與Haskell模式如何匹配有關嗎？

Answer 1

兩個功能之間的重要區別在於，在

g x r = let (acc, xs) = r 
     in (f x xs acc, x:xs) 

在元組構造函數的模式匹配是無可辯駁的，而在

g x (acc, xs) = (f x xs acc, x:xs) 

事實並非如此。換句話說，中g第一定義等同於

g x ~(acc, xs) = (f x xs acc, x:xs)