foldr和foldl函数在Haskell中的div函数上的应用
在Haskell中，foldr和foldl是两个常用的高阶函数，用于对列表进行折叠操作。div函数是Haskell中的整数除法函数。
foldr函数的类型签名为： foldr :: (a -> b -> b) -> b -> [a] -> b 它接受一个二元函数、一个初始值和一个列表作为参数，将二元函数应用于列表中的每个元素和累积值，从右向左进行折叠操作。
foldl函数的类型签名为： foldl :: (b -> a -> b) -> b -> [a] -> b 它接受一个二元函数、一个初始值和一个列表作为参数，将二元函数应用于列表中的每个元素和累积值，从左向右进行折叠操作。
在div函数上的应用可以通过foldr和foldl来实现对列表中的元素进行整数除法操作。假设我们有一个整数列表[10, 5, 2]，我们可以使用foldr和foldl来计算整数除法的结果。
使用foldr的应用示例：
divResultFoldr :: [Int] -> Int
divResultFoldr xs = foldr div 1 xs这里的div函数是Haskell中的整数除法函数，初始值为1。foldr将div函数应用于列表中的每个元素和累积值1，从右向左进行折叠操作。
使用foldl的应用示例：
divResultFoldl :: [Int] -> Int
divResultFoldl xs = foldl div 1 xs这里的div函数是Haskell中的整数除法函数，初始值为1。foldl将div函数应用于列表中的每个元素和累积值1，从左向右进行折叠操作。
应用场景： foldr和foldl在Haskell中的应用场景非常广泛，特别是在处理列表数据时非常有用。它们可以用于对列表进行求和、求积、连接字符串等各种操作。在函数式编程中，foldr和foldl是非常重要的工具函数。
腾讯云相关产品： 腾讯云提供了丰富的云计算产品和服务，以下是一些与Haskell和函数式编程相关的产品和服务：
- 云服务器（CVM）：提供可扩展的云服务器实例，可用于部署Haskell应用程序。 产品介绍链接：https://cloud.tencent.com/product/cvm
- 云数据库MySQL版（CDB）：提供高性能、可扩展的云数据库服务，可用于存储Haskell应用程序的数据。 产品介绍链接：https://cloud.tencent.com/product/cdb_mysql
- 云函数（SCF）：提供事件驱动的无服务器计算服务，可用于运行Haskell函数。 产品介绍链接：https://cloud.tencent.com/product/scf
请注意，以上只是一些示例产品，腾讯云还提供了更多与云计算相关的产品和服务，您可以根据具体需求选择适合的产品。
相关·内容
在高性能计算中，和、积等通常使用一个“并行约简”来计算，该约简取n个元素，并在O(log )时间内完成(给定足够的并行性)。在Haskell中，我们通常使用折叠来进行这种计算，但是评估时间在列表的长度中总是线性的。
数据并行Haskell有一些内置的内容，但是在列表的公共框架中呢？我们能用Control.Parallel.Strategies做吗？
因此，假设f是关联的，我们如何编写
parFold :: (a -> a -> a) -> [a] -> a
所以parFold f xs只需要length xs中的时间对数
浏览 0提问于2010-10-26得票数 6
回答已采纳
有一段时间以来，我一直试图把脑袋绕在折叠式和折叠式上，我已经决定了下面的问题应该为我解决。假设将以下列表1、2、3传递给以下四个函数：
a = foldl (\xs y -> 10*xs -y) 0
b = foldl (\xs y -> y - 10 * xs) 0
c = foldr (\y xs -> y - 10 * xs) 0
d = foldr (\y xs -> 10 * xs -y) 0
结果分别为-123、83、281和-321。
为什么是这种情况？我知道当您将1,2,3,4传递到定义为
f = foldl (xs x -> xs ++ [f x
浏览 2提问于2014-11-12得票数 0
回答已采纳
(这个问题比Haskell更普遍，但这是我要用的语言。)
foldl和foldr之间的区别似乎取决于列表是有序的。也就是说，foldl和foldl通过将函数应用于起始值和第一个或最后一个元素，然后应用于第一个应用程序和第二个或第二个到最后元素的结果，然后将第二个应用程序的结果应用到第三个或第三个到最后元素，从而折叠列表，等等。
但是，Haskell的Data.Set和Data.Map库定义了它们自己的foldl和foldr版本。例如，对于地图，它们是：
foldr :: (a -> b -> b) -> b -> Map k a -> b
foldl :: (b
浏览 1提问于2018-12-07得票数 5
回答已采纳
第一件事，我理解(几乎)折叠功能。考虑到这个函数，我可以很容易地计算出会发生什么以及如何使用它。
问题在于它是如何实现的，这导致了函数定义上的细微差异--需要一些时间才能完成understand.To --这使得情况变得更糟--大多数折叠都有相同类型的列表和默认情况，这无助于下绞线，因为它们可能有所不同。
Usage:
foldr f a xs
foldl f a xs
where a is the default case
definition:
foldr: (a -> b -> b) -> b -> [a] -> b
foldl: (a
浏览 0提问于2018-03-13得票数 2
回答已采纳
2回答
SML语法故障
、、、
我正在尝试学习SML (为了完全透明，这是为了准备考试(考试还没有开始))，我一直在努力解决的一个领域是更高层次的函数，如map和foldl/r。我知道，它们被用于在oop语言中使用for循环的情况(我认为)。然而，我在挣扎的是折叠或映射功能中的每个部分所做的事情。下面是一些例子，如果有人能把它们分解，我会非常感激的。
fun cubiclist L = map (fn x=> x*x*x) L;
fun min (x::xs) = foldr (fn (a,b) => if (a < b) then a else b) x xs;
所以，如果我能分解我看到的部分，高亮我正
浏览 3提问于2021-05-01得票数 0
回答已采纳
5回答
在无限列表上左和右折叠
、、、、
我对 (伟大的书imo，而不是反驳它)的以下段落有异议：
一个很大的区别是右折叠在无限大的列表上工作，而左边的则不工作！直截了当地说，如果你在某个时候取了一个无限的列表，然后从右边折叠起来，你最终会到达列表的开头。然而，如果你在一个点上取了一个无限的列表，然后你试图把它从左边折叠起来，你就永远不会到达终点！
我只是不明白。如果你把一个无限的列表从右边折叠起来，那么你就必须从无穷远处开始，这是不可能发生的(如果有人知道你可以这样做的语言，那就说明:p)。至少，根据Haskell的实现，您必须从那里开始，因为在Haskell中，foldr和foldl不采用确定列表中应该从何处开始折叠的参数
浏览 0提问于2011-09-13得票数 73
回答已采纳
1回答
Haskell中的折叠实现
、、、、
我在Haskell上试图理解折叠实现有很多问题。我需要使用具有此输出的折叠的两个函数
> runLengthEncode "aaaaaaabbb"
[(7,'a'),(3,'b')]
> runLengthDecode [(1,'h'), (5,'i')]
"hiiiii"
因此，我所做的是首先编写函数，就像我使用模式匹配(它们有效)一样，但是现在我不知道如何使用折叠左或右折叠来“翻译”这个函数。
runLengthEncode :: String -> [(Int,Char)]
浏览 1提问于2019-03-24得票数 3
我实现了一个函数(！=)，它给出了一个列表和一个包含列表中的索引和一个新值的元组，用给定索引处的新值更新给定的列表。
(!!=) :: [a] -> (Int,a) -> [a]
(!!=) xs (0, a) = a : tail xs
(!!=) [] (i, a) = error "Index not in the list"
(!!=) (x:xs) (i, a) = x : xs !!= (i-1, a)
作为一个使用折叠概念的初学者，我想知道是否有一种方法可以使用foldl或foldr来实现相同的结果？
提前谢谢。
浏览 3提问于2021-04-16得票数 0
回答已采纳
我一直认为，从性能上看，尾递归函数比非尾递归函数要好。因此，列表中的计数项可能实现如下：
count:: [a] -> Int
count [] = 0
count (x:xs) = 1 + count xs
但是这个函数不是尾递归函数，因此不能尽可能地执行。解决方法是累积计数，如下所示：
_count:: Num b => b -> [a] -> b
_count b [] = b
_count b (x:xs) = _count (b + 1) xs
count:: [a] -> Int
count = _count 0
这可以很容易地通过尾递归折叠来实现：
浏览 1提问于2018-01-22得票数 6
回答已采纳
我正在研究"Haskell编程从首要原则“。在折叠列表一章中，练习5f，
当我评估
foldr const 'a' [1..5]
我得到了
没有从字面“1”中产生(Num Char)的实例
然而，与
foldl const 'a' [1..5]
我得到了'a'。
我知道褶皱很懒，foldr不会穿过脊柱，foldl也会。但即使看了叶酸和叶酸的定义，
foldr f z [] = z
foldr f z (x:xs) = f x (foldr f z xs)
foldl f z [] = z
浏览 7提问于2016-03-16得票数 1
回答已采纳
1回答
缺失的褶皱
、、、、
如果你想折叠一个列表，我看到了四种方法。
从列表的右侧折叠，右侧为递归项。
(-) 100 1.10=1- (2 - (3 - (4 - (5 - (6 - (7 - (8 - (9 - (10 -(100)= 95
foldrr :: (a -> b -> b) -> b -> [a] -> b
foldrr step zero (x:xs) = step x (foldrr step zero xs)
foldrr _ zero [] = zero
从列表的右边折叠，左边是递归项。
( 100 ))- 9) - 8) - 7) - 6)
浏览 2提问于2017-07-02得票数 9
回答已采纳
2回答
我正在使用haskell学习一些函数编程，并试图通过重新实现一些库函数来了解一些概念。
我有一个问题，主要是关于什么时候选择递归而不是迭代。例如，当重新实现"all“函数时，我可以选择：
all1 :: (a -> Bool) -> [a] -> Bool
all1 p xs = foldr (\x acc -> acc && p x) True xs
all2 :: (a -> Bool) -> [a] -> Bool
all2 p (x:xs)
| p x == False = False
| otherwis
浏览 0提问于2019-03-27得票数 4
回答已采纳
2回答
我有两个函数计算整数列表的长度。
lengthFoldl :: [Int] -> Int
lengthFoldl xs = (foldl (\_ y -> y+1) 0 xs)
和
lengthFold :: [a] -> Int
lengthFold xs = foldr (\_ y -> y+1) 0 xs
它们是相同的，除了一个使用折叠和一个折叠。
但是，当试图计算任何列表[1 .. n]的长度时，我从lengthFoldl得到一个错误的结果(一个太大)。
浏览 0提问于2018-06-22得票数 3
回答已采纳
作为大学作业的一部分，我得到了以下问题。由于模块非常短，我们只使用Haskell的一个子集，没有任何语法糖或惯用快捷键.我必须写：
附加xs :按顺序加入列表xs和ys__所形成的列表
append (5:8:3:[]) (4:7:[]) => 5:8:3:4:7:[]
我理解foldr如何工作的概念，但我只是从函数式编程开始。我成功地编写了以下工作解决方案(为了我们班的其他人的利益而隐藏起来.)：
附录= \xs -> \ys -> foldr (\x -> \y -> x:y) ys xs
但是，我只是不能为我的生活，解释到底是怎么回事！？我只是在解释器中摆弄
浏览 0提问于2012-11-04得票数 4
回答已采纳
我最近一直在学习Haskell，遇到了一些我不太理解的东西: lambda函数的参数。
在“为伟大的好书学习一本Haskell”第5章中，有以下两个功能：
elem' :: (Eq a) => a -> [a] -> Bool
elem' y ys = foldr (\x acc -> if x == y then True else acc) False ys
reverse' :: [a] -> [a]
reverse' = foldl (\acc x -> x : acc) []
在第一个函数中，累加器被列出为lambd
浏览 3提问于2021-09-20得票数 5
回答已采纳
4回答
在中，我发现foldl (op -) 2 [1] = foldr (op -) 2 [1]的关系成立。但是当我在Haskell中尝试上面的内容时，我发现上面的关系在Haskell中重写为foldl (-) 2 [1] == foldr (-) 2 [1]不成立。为什么会这样呢？Haskell对折叠的定义是否与SML/NJ不同？
谢谢
浏览 2提问于2013-12-08得票数 4
回答已采纳
我必须定义一个函数prob2，它接收Int的列表并使用foldl返回Int：
HW3*> prob2 [2,3,4,5]
2345
我没有使用褶皱的经验。我所拥有的是：
prob2 :: [Integer] -> Integer
prob2 (x:xs) = foldl (\x->10*x+xs) 0
浏览 8提问于2016-10-07得票数 1
回答已采纳
这是一个非常非常简单的foldl函数:它接受一个列表，并返回相同的列表：
identityL :: (Integral a) => [a] -> [a]
identityL xs = foldl (\ acc x -> acc ++ [x]) [] xs
我试着用foldr做同样的事情，认为我所要做的就是将foldl改为foldr，并在"++“周围翻转"acc”和"x“。但是很明显，你也需要翻转参数：
identityR :: (Integral a) => [a] -> [a]
identityR xs = foldr (\ x acc
浏览 3提问于2015-01-13得票数 2
回答已采纳
3回答
Haskell“申请”？
、、、
可能重复：
我是Haskell世界的新手，从Lisp迁移过来的。我正在努力适应Haskell完全不同的世界观，我发现许多新的和令人兴奋的事情之一就是类型系统。作为Lisper的一员，我想我应该尝试在Haskell中实现一个在Lisp世界中非常重要的函数：apply。对于那些不知道的人，apply接受一个函数和一组参数，并对这些参数调用函数。在Scheme中，(apply + '(1 2 3))与调用(+ 1 2 3)相同，返回6。
我的Haskell代码看起来像这样：
apply x [] = x
apply f (x:xs) = apply (f x) xs
但Haskell抱
浏览 45提问于2012-05-26得票数 20
回答已采纳
1回答
给定以下ITree，来自
data ITree a = Leaf (Int -> a) | Node [ITree a]
在整个树上foldTree折叠的正确签名是什么？
下面是我不正确的尝试，即不编译：
foldTree :: (a -> [b] -> b) -> ITree a -> b
foldTree f (Leaf x) = f x []
foldTree f (Node xs) = f _ $ map (foldTree f) xs
然而，对我来说，为Leaf x案件传递一个空列表似乎很奇怪。
另外，在Node的第二个模式匹配中，我不知道如何应用a
浏览 7提问于2014-11-17得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
