扫描仪如何工作？ 哈斯克尔

Question

我一直在使用一些 Haskell 函数，有些我理解，有些不理解。

例如，如果我们这样做： scanl (+) 0 [1..3]我的理解如下：

1. the accumulator is 0                  acc         = 0    |
2. (+) applied to acc and first el       acc = 0 + 1 = 1    |
3. (+) applied to latest acc and snd el  acc = 1 + 2 = 3    |
4. (+) applied to latest acc and third   acc = 3 + 3 = 6    V

现在，当我们制作列表时，我们得到[0, 1, 3, 6] 。

但我似乎无法理解scanr (+) 0 [1..3]给我： [6,5,3,0]也许scanr工作方式如下？

1. the first element in the list is the sum of all other + acc
2. the second element is the sum from right to left (<-) of the last 2 elements
3. the third element is the sum of first 2...

我不知道这是不是模式。

Answer 1

scanr是foldr什么scanl是foldl 。 foldr从右边开始工作：

foldr (+) 0 [1,2,3] =
  (1 + (2 + (3 +   0))) =
  (1 + (2 +    3)) =
  (1 +    5) =
     6
-- [ 6,   5,   3,   0 ]

并且scanr只是按顺序显示中间结果： [6,5,3,0] 。 它可以定义为

scanr (+) z xs = foldr g [z] xs
  where
  g x ys@(y:_) = x+y : ys

scanl虽然应该像

scanl (+) 0 [1,2,3] =
  0 : scanl (+) (0+1) [2,3] =
  0 : 1 : scanl (+) (1+2) [3] =
  0 : 1 : 3 : scanl (+) (3+3) [] =
  0 : 1 : 3 : [6]

所以一定是这样

scanl (+) z xs = foldr f h xs z
   where h      z = [z]
         f x ys z = z : ys (z + x)

Answer 2

scanl和scanr用于显示在每次迭代的累加器的值。 scanl由左到右，并重复scanr从右到左。

考虑以下示例：

scanl (+) 0 [1, 2, 3]

-- 0. `scanl` stores 0 as the accumulator and in the output list [0]
-- 1. `scanl` adds 0 and 1 and stores 1 as the accumulator and in the output list [0, 1]
-- 2. `scanl` adds 1 and 2 and stores 3 as the accumulator and in the output list [0, 1, 3]
-- 3. `scanl` adds 3 and 3 and stores 6 as the accumulator and in the output list [0, 1, 3, 6]
-- 4. `scanl` returns the output list [0, 1, 3, 6]

如您所见， scanl在迭代列表时存储累加器的结果。 这与scanr相同，但列表是反向迭代的。

这是另一个例子：

scanl (flip (:)) [] [1, 2, 3]

-- [[], [1], [2,1], [3,2,1]]

scanr       (:)  [] [1, 2, 3]

-- [[1,2,3], [2,3], [3], []]