第4章函数式编程 on 编程那些事儿

01-编程范式

Tue, 18 Aug 2026 22:10:00 +0800

译文 · 基于 Rust Design Patterns

原文链接: https://rust-unofficial.github.io/patterns/functional/paradigms.html

从命令式背景转向理解函数式程序时，最大的障碍之一是思维方式的转变。命令式程序描述的是如何做某事，而声明式程序描述的是做什么。我们用把 1 到 10 的数字求和来说明这一点。

Tue, 18 Aug 2026 22:10:00 +0800

译文 · 基于 Rust Design Patterns

原文链接: https://rust-unofficial.github.io/patterns/functional/generics-type-classes.html

Rust 的类型系统设计得更像函数式语言（如 Haskell），而不是命令式语言（如 Java 和 C++）。因此，Rust 能把许多编程问题变成「静态类型」问题。这是选择函数式语言的最大收益之一，也对 Rust 的许多编译期保证至关重要。

Tue, 18 Aug 2026 22:10:00 +0800

译文 · 基于 Rust Design Patterns

原文链接: https://rust-unofficial.github.io/patterns/functional/optics.html

光学（Optics）是一种在函数式语言中常见的 API 设计。这是一个纯函数式概念，在 Rust 中并不常用。

尽管如此，探索这一概念可能有助于理解 Rust API 中的其他模式，例如访问者。它们也有一些小众用例。