问题描述
我目前正在尝试解决以下练习：
给定一个 Int 的列表，计算次数，一个元素大于它后面的元素。这个练习迫使我不要使用显式递归。
以下是给定 function :: [Int] -> Int 的一些示例输出：
function [1,2,3,4,5] == 0 -- only increasing numbers
function [5,1] == 4 -- only decreasing numbers
function [2,1,4] == 3
-- 2 > 1
-- 3 > 1
-- 1 > 0
function [1] == 0 -- no successor
function [ ] == 0 -- no numbers at all
我想以某种方式使用 foldl，但经过多次尝试和没有可行的想法后，我不得不放弃。
如何在不使用递归的情况下计算元素大于其后继元素的次数？
解决方法
首先我们需要配对连续的元素，
foo :: [Int] -> Int
foo xs = result
where
pairs = zip xs (drop 1 xs)
然后我们可以处理每一对
biggers = [ () | (x,y) <- pairs,x > y]
现在我们可以计算它们了，
result = .......
所有嵌套名称都属于相同的共享嵌套范围。 result 必须使用 biggers 的值，biggers 指的是 pairs 的值，foo 的参数指的是 xs 的值，{ {1}}。确保将这些代码行放入相同的定义中，所有缩进量都与第一个相同，对于 pairs，一个在另一个之下。
实际上也可以使用左折叠：
foo (h:t) = snd ( foldl' (\ (a,!c) x -> (x,if (a > x) then (c+1) else c))
(h,0) t )
foo [] = 0
我想你会同意，尽管这比第一个定义不那么明显。另请注意，它使用“爆炸模式”! 和 foldl' 而不是 foldl，以便在我们沿着输入列表前进时尽快进行计数，而不是延迟直到所有输入列表都像 foldl 那样完全遍历，不必要地损害了整体效率。