Haskell 递归地使用foldl之类的函数
作为练习，我尝试编写一个与foldl函数行为相同的函数，并且尝试使用递归 我的函数将被称为“leftFolder”，签名将看起来像foldl函数的：Haskell 递归地使用foldl之类的函数,haskell,Haskell,作为练习，我尝试编写一个与foldl函数行为相同的函数，并且尝试使用递归 我的函数将被称为“leftFolder”，签名将看起来像foldl函数的： leftFolder:：（a->b->a）->a->[b]->a 我有点纠结于该怎么做，但以下是我尝试过的： leftFolder :: (a -> b -> a) -> a -> [b] -> a leftFolder [] = [] leftFolder (x:xs) = x (++) (leftFolder xs
leftFolder:：（a->b->a）->a->[b]->aleftFolder :: (a -> b -> a) -> a -> [b] -> a
leftFolder [] = []
leftFolder (x:xs) = x (++) (leftFolder xs)
在我看来，这是有道理的。我是说如果列表是空的，返回一个空列表。如果不是，那么就把它放在列表的开头，然后继续把它放在后面。你的代码有很多问题。例如：
- 您可以将模式匹配作为第一个参数
，而第一个参数应该是函数[] - 您只使用了1个参数，而不是所需的3个参数
毫无意义；您可能打算使用x（++）…x:…- 在第一个模式匹配中，您将返回一个列表，而函数的返回类型不一定是列表
leftFolder :: (a -> b -> a) -> a -> [b] -> a
leftFolder _ c [] = c
leftFolder fn c (x:xs) = leftFolder fn (fn c x) xs
也就是说：如果列表为空，那么我们将在第二个位置返回累积值。否则，我们将计算新的累积值（
fn c xfn- 您可以将模式匹配作为第一个参数
，而第一个参数应该是函数[] - 您只使用了1个参数，而不是所需的3个参数
毫无意义；您可能打算使用x（++）…x:…- 在第一个模式匹配中，您将返回一个列表，而函数的返回类型不一定是列表
leftFolder :: (a -> b -> a) -> a -> [b] -> a
leftFolder _ c [] = c
leftFolder fn c (x:xs) = leftFolder fn (fn c x) xs
也就是说：如果列表为空，那么我们将在第二个位置返回累积值。否则，我们将计算新的累积值（
fn c xfn- 您可以将模式匹配作为第一个参数
，而第一个参数应该是函数[] - 您只使用了1个参数，而不是所需的3个参数
毫无意义；您可能打算使用x（++）…x:…- 在第一个模式匹配中，您将返回一个列表，而函数的返回类型不一定是列表
leftFolder :: (a -> b -> a) -> a -> [b] -> a
leftFolder _ c [] = c
leftFolder fn c (x:xs) = leftFolder fn (fn c x) xs
也就是说：如果列表为空，那么我们将在第二个位置返回累积值。否则，我们将计算新的累积值（
fn c xfn- 您可以将模式匹配作为第一个参数
，而第一个参数应该是函数[] - 您只使用了1个参数，而不是所需的3个参数
毫无意义；您可能打算使用x（++）…x:…- 在第一个模式匹配中，您将返回一个列表，而函数的返回类型不一定是列表
leftFolder :: (a -> b -> a) -> a -> [b] -> a
leftFolder _ c [] = c
leftFolder fn c (x:xs) = leftFolder fn (fn c x) xs
也就是说：如果列表为空，那么我们将在第二个位置返回累积值。否则，我们计算新的累积值（
fn c xfnafoldl（+）2[3,4,5]=（（2+3）+4）+5leftFolderafoldl（+）2[3,4,5]=（（2+3）+4）+5leftFolderafoldl（+）2[3,4,5]=（（2+3）+4）+5leftFolderafoldl（+）2[3,4,5]=（（2+3）+4）+5leftFolderleftFolder fn（fn c x）xsleftFolder