21、函数式编程与for推导式深度解析

函数式编程与for推导式深度解析

1. 递归与流处理

在函数式编程中，递归是一种重要的编程技巧。右递归（right recursion）和左递归（left recursion）在处理流数据时有着不同的表现。右递归的结构与 foldRight 的实现非常相似，例如 f(0) + f(1) + tail 。由于它是右递归，当我们获取到所需数量的头部元素时，就可以停止对 tail 的计算。而左递归则无法实现惰性计算，其概念上的形式为 f(0 + f(1 + f(tail))) 。

以下是两者的特点对比：
| 递归类型 | 特点 |
| ---- | ---- |
| 左递归 | 尾递归，但无法处理无限的惰性流 |
| 右递归 | 可以处理无限的惰性流，并能进行适当的截断 |

需要注意的是，有些实现 foldRight 和 reduceRight 的类型，实际上会先反转序列，然后分别调用 foldLeft 或 reduceLeft 。例如， collection.TraversableOnce 为大多数 Seq 提供了这样的实现，这使得用户可以以尾递归的方式执行右偏操作，但会有反转序列的额外开销。

2. 组合子：软件的最佳组件抽象

在20世纪80年代末和90年代初，面向对象编程（OOP）成为主流，人们期望它能带