函数式编程核心概念
本章节覆盖 纯函数、不可变性、高阶函数、柯里化、组合子 五大基石。面试中通常从“定义 + 对比”开始，逐步深入到“实际场景中的权衡”。以下先给出回答框架图，再以 3 个高频问答卡片锁定得分点。
概念速查表
| 概念 | 核心特征 | 面试高频考点 |
|---|---|---|
| 纯函数 | 相同输入 → 相同输出；无副作用 | 引用透明性、可测试性 |
| 不可变性 | 数据创建后不可修改，通过复制/更新 | 线程安全、性能优化（结构共享） |
| 高阶函数 | 函数作为参数或返回值 | 集合操作（map/filter/flatMap） |
| 柯里化 | 多参数函数拆为单参数链 | 参数复用、类型推断 |
| 组合子 | 组合多个函数形成新函数 | compose/andThen、函数管道 |
📌 卡片一：纯函数与不可变性的区别
面试问题：请解释纯函数和不可变性的区别，并举例说明它们在 Scala 中如何协同工作。
考察点：① 是否理解两个概念的本质（纯函数是行为约束，不可变性是数据约束）② 能否在集合操作（如 List.map）中清晰区分二者。
回答框架：定义区分 → 分别举例 → 协同场景（纯函数操作不可变数据实现安全并发）→ 示范代码。
示例回答：纯函数保证相同输入永远相同输出且无副作用；不可变性指数据对象创建后不可修改。Scala 中 List(1,2,3).map(_ * 2)，map 是纯函数，List 不可变，每次转换产生新列表，原始数据不受影响。
可能追问：不可变数据在大量修改时如何优化性能？（结构共享 / Vector）
📌 卡片二：高阶函数与柯里化的实际应用
面试问题：你在项目中如何使用高阶函数和柯里化？请举一个具体的业务例子。
考察点：① 能否脱离“语法炫耀”展示真实工程价值 ② 是否理解柯里化可以延迟求值或部分应用 ③ 高阶函数对抽象能力的体现。
回答框架：场景描述 → 高阶函数对重复逻辑的抽取 → 柯里化对参数的解耦 → 代码片段。
示例回答：在用户权限校验中，定义 def authorize(role: String)(action: User => Unit)。通过部分应用 val adminAuth = authorize("admin") _，后续只需传入 User 即可执行校验逻辑，耦合度低，组合灵活。
可能追问：Currying 与多层 implicit 参数混用时的类型推断问题？
📌 卡片三：组合子模式（Combinator Pattern）
面试问题：解释 Scala 中常用的组合子（如 compose、andThen、flatMap），并说明它们如何构建可复用逻辑。
考察点：① 是否掌握函数式组合的基本操作 ② 能否关联到 Monad（如 flatMap 是 bind）③ 实际应用中如何避免嵌套地狱。
回答框架：组合子定义 → 对比 compose 与 andThen → 引入 flatMap 处理上下文 → 管道化示例（如 Future 链式调用）。
示例回答：val f = (a:Int) => a+1；val g = (a:Int) => a*2；val h = f andThen g 等价于 g(f(x))。在 Option 中 flatMap 可组合可能缺失值的计算，避免空指针判断。
可能追问：如何用组合子实现 Validator 链？或 Parser Combinator 原理？