MathTop

foldr 函数

使用二元规则和初始累加器从右向左归约列表。

语法

  • foldr((a, b) -> expr, initial, list)
  • foldr(expr, a, b, initial, list)

参数与选项

rule双参数箭头过程或表达式;第一个变量接收当前元素,第二个变量接收累加器。
initial初始累加器值。
list形如 [1, 2, 3] 的列表字面量。

示例

  1. 右折叠foldr((a, b) -> a - b, 0, [1, 2, 3])返回 2。