Question

我有一个转换[a，b，c，d，...的函数。。。 ]到[（a，b），（c，d）,. 。 ]。现在这个工作，这是代码：

makeTuple :: [a] -> [(a,a)]
makeTuple [] = []
makeTuple [a] = []
makeTuple (x:y:xs) = (x,y): (makeTuple xs)

现在接下来要做的就是：使用前面的函数，使用foldl和lambda表达式将每个元组转换为其两个元素的乘积。这就是我所拥有的：

productTuple [x] = foldl makeTuple [] [x]

现在我不确定这是否正是我所要求的。我不确定我是否应该使用类型声明和诸如此类的单独函数。也许有人可以告诉我，这是否是解决这个问题的最佳方法。此代码也不起作用，我不知道为什么，我需要这方面的帮助。（注意它说使用lambda，但我不知道如何正确使用它们，这是我需要帮助的另一部分）我真的很感激，谢谢。

Answer 1

lambda函数应该尊重这个签名：

 [a] -> (b,b) -> [a]

累加器的类型为[a]，元组的类型为（b，b）

您可以尝试像\acc (a, b) -> acc++[a*b]

这样的lambda

最终功能可能如下：

productTuple :: Num a => [a] -> [a]
productTuple xs = foldl (\acc (a, b) -> acc++[a*b]) [] (makeTuple xs)

的一些示例

Answer 2

练习要求您使用makeTuple预处理输入列表，然后折叠它。

productTuple :: [Int] -> [Int]
productTuple xs = foldl (some lambda) something (makeTuple xs)

这不是最方便的方法，但我想这个练习的目的是强迫你使用foldl只是为了它。