<!-- title: 从纯函数到裸机七大编程流派 -->
<!-- domain: programming -->

# 从纯函数到裸机七大编程流派

> 编程没有唯一正解，只有不同的世界观。有人追求纯函数的数学之美，有人迷恋裸机控制的极致自由，有人在算法中发现优雅，有人在创造中寻找意义。本期精选七个YouTube频道，带你领略七种截然不同的编程哲学。

## 概述

编程从来不只是"写代码"。每一种编程范式背后，都隐藏着一套完整的思维体系——关于如何建模问题、如何组织逻辑、如何理解计算本身。本期的七大频道，分别代表了函数式纯粹派、学术理论派、探索创造派、娱乐黑客派、零抽象系统派、数学可视化派和工程实用派七种截然不同的编程世界观。无论你是刚入门的新手还是资深工程师，都能从中找到改变你思维方式的内容。

## 频道对比总览

| 频道 | 订阅数 | 核心范式 | 代表方向 | 思维特征 |
|------|--------|---------|---------|---------|
| Func Prog Sweden | ~1.5万 | 函数式编程 | Haskell/Erlang/Clojure | 数学纯粹性 |
| Computerphile | 260万 | 学术CS理论 | 编译器/类型系统/算法 | 理论严谨性 |
| Sebastian Lague | 140万 | 探索式创造 | 过程生成/物理模拟 | 好奇驱动 |
| Tsoding | 15.2万 | 娱乐编程 | 构建语言/工具 | 自由 hacking |
| Molly Rocket | ~50万 | 零抽象系统 | 手写游戏引擎/编译器 | 底层掌控 |
| Reducible | 33.4万 | 数学可视化 | 算法/FFT/图论 | 视觉直觉 |
| Hussein Nasser | ~60万 | 工程实用 | 后端/网络/协议 | 实战导向 |

---

## 一、Func Prog Sweden：函数式思维的北欧灯塔

**频道链接**: [youtube.com/@FuncProgSweden](https://www.youtube.com/@FuncProgSweden)

Func Prog Sweden 是一个来自瑞典的函数式编程社区频道，虽然订阅量不大，却在函数式编程圈子里拥有极高的口碑。频道定期举办线上 meetup，邀请来自全球的函数式编程实践者分享他们在 Haskell、Erlang、Clojure、F#、OCaml 等语言上的实际工程经验。

**核心洞察：**

- **不可变性不是限制，而是自由。** 频道中的演讲者反复论证：当你不再担心状态的意外变更时，代码的推理变得简单得多。这不是教条，而是经过大量工业验证的结论——瑞典的爱立信（Ericsson）正是 Erlang 的诞生地，其电信系统 uptime 达到 99.9999999% 的背后就是函数式思想。

- **类型即文档，编译器即测试。** 在多期 Haskell 和 F# 的分享中，演讲者展示了如何用强类型系统在编译期捕获大量错误，使得运行时错误大幅减少。这种"让编译器帮你思考"的理念，对任何语言的开发者都有启发。

- **函数式编程正在悄悄渗透主流。** 频道内容揭示了一个趋势：Java 的 Stream API、JavaScript 的 reduce/map、Rust 的模式匹配——函数式编程的核心思想正在被所有主流语言吸收。学习函数式编程不是在学一门新语言，而是在升级你的思维模型。

**实用价值**：如果你觉得函数式编程只是学术玩具，这个频道会用实际案例改变你的看法。推荐观看他们关于"Financial Markets中的函数式编程"那期——在金融交易系统中，不可变性和纯函数不是偏好，而是监管要求。

**适合人群**：有一定编程基础、想突破 OOP 思维瓶颈的中高级开发者。

---

## 二、Computerphile：用学术镜头透视计算本质

**频道链接**: [youtube.com/computerphile](https://www.youtube.com/computerphile)

Computerphile 由诺丁汉大学制作，与著名的 Numberphile 同属 Brady Haran 的科普帝国。260万订阅的背后，是对每一个计算机科学概念的学术级严谨讲解。从编译器原理到密码学，从哈希表到傅里叶变换，每个视频都由大学教授或行业专家主讲。

**核心洞察：**

- **编译器不是黑箱，而是可控的翻译器。** 在多期关于编译器前端（词法分析、语法分析）和后端（代码生成、优化）的视频中，Computerphile 用清晰的板书动画将整个编译流程拆解为可理解的步骤。理解编译器的工作方式，能让你写出编译器"更友好"的代码——这在性能优化中至关重要。

- **安全漏洞的根源往往是对底层概念的误解。** 频道关于缓冲区溢出、SQL注入、时序攻击等安全问题的视频，不是教你如何攻击，而是解释攻击为何可能——其本质是对内存模型、字符串处理、加密实现等底层概念的认知盲区。

- **算法之美在于其简洁性。** Professor Thorsten Altenkirch 关于类型理论和依赖类型的系列讲座，展示了数学如何直接转化为程序。当他说"类型是命题，程序是证明"时，你才能真正理解 Curry-Howard 同构的含义。

**实用价值**：每天花15分钟看一个 Computerphile 视频，相当于免费上了一节大学 CS 课程。特别推荐他们的"如何真正理解指针"和"UTF-8编码原理"系列——看完后你会发现之前对这些概念的理解都是模糊的。

**适合人群**：所有层次的程序员。初学者建立正确心智模型，资深工程师填补知识盲区。

---

## 三、Sebastian Lague：探索式编程的诗意实践

**频道链接**: [youtube.com/c/SebastianLague](https://www.youtube.com/c/SebastianLague)

Sebastian Lague 的140万订阅者不是偶然。他的"Coding Adventures"系列堪称 YouTube 上最美、最有深度的编程内容。从用代码模拟星球轨道到自动生成地形，从解决魔方到构建蚂蚁群落模拟，每个项目都是一次完整的编程探险——不是"教程"，而是真正的"冒险"。

**核心洞察：**

- **编程的最高境界是"用代码探索世界"。** Lague 的视频证明：编程不一定是构建产品或解决业务问题，它可以是一种认识世界的方式。当你用代码模拟流体力学的 Navier-Stokes 方程时，你对物理世界的理解也在加深。

- **可视化是理解算法的关键。** 在他的过程中生成（Procedural Generation）系列中，Lague 展示了一个核心方法论：**先可视化，再优化**。看到噪声函数如何一步步变成地形，比阅读十篇论文都有效。

- **"完成比完美更重要"的反直觉力量。** Lague 的项目往往在视频结尾展示的是一个"差不多可以"的版本，而非工业级产品。这种态度传递了一个重要信息：编程的乐趣在于探索过程本身，而非最终产出。

**实用价值**：如果你正经历编程倦怠期，Sebastian Lague 的视频是最好的解药。他的2026年新系列"Coding Adventure: Solving the Rubik's Cube"展示了如何将一个复杂的数学问题分解为可编程的步骤，其方法论适用于任何复杂系统设计。

**适合人群**：所有对编程有热情的人。特别适合需要灵感注入的创意开发者。

---

## 四、Tsoding：娱乐编程的自由灵魂

**频道链接**: [youtube.com/@Tsoding](https://www.youtube.com/tsoding)

Tsoding（Alexey Kutepov）是 YouTube 上最独特的编程频道之一。15.2万订阅，只有54个视频，但每一个都是数小时的深度编程直播精华。他的口号"Recreational Programming"（娱乐编程）道出了他的核心理念：**编程本身就是目的，不需要外部理由。**

**核心洞察：**

- **"不要学语言，去学编程。"** Tsoding 的这条推文是他的哲学核心。他不追热点框架，而是用 C、Python、Haskell 等工具随心所欲地构建——从自制文本编辑器到音乐可视化器，从编译器到游戏。这种不受框架和生态束缚的自由，反而让他的内容具有超越时间的价值。

- **Live coding 的教育价值被严重低估。** Tsoding 的视频保留了编程的真实过程——包括犯错、调试、重构。观众看到的是一个资深程序员的真实思维流程，而非精心剪辑的"完美教学"。这种真实性比任何教程都更有教学价值。

- **从零构建是理解的最佳路径。** Tsoding 多次从零开始构建编程语言、编译器和虚拟机。在他的过程中，你会理解为什么词法分析器需要处理 lookahead，为什么递归下降解析器对左递归无能为力——这些不是教科书上的抽象概念，而是他在实际编码中遇到的真实问题。

**实用价值**：推荐观看他的"自制编程语言"系列。你不需要真的去写一个语言，但理解从源代码到可执行文件的完整路径，会让你对所用的每一行代码有更深层的理解。

**适合人群**：中级以上开发者。需要有足够背景知识才能跟上他的直播节奏。

---

## 五、Molly Rocket：零抽象的系统编程之道

**频道链接**: [youtube.com/@MollyRocket](https://www.youtube.com/@MollyRocket)

Casey Muratori 的 Molly Rocket 频道是"Handmade Hero"项目的大本营。这个项目的核心挑战是：**从零开始、不使用任何第三方库、用纯 C 在 Windows 上构建一个完整的商业品质游戏。** 整个过程被录制为超过600集的系列视频，每一行代码都从空白屏幕开始编写。

**核心洞察：**

- **抽象不是免费的，每一次抽象都有性能代价。** Muratori 的核心论点是：现代软件开发过度依赖抽象层——游戏引擎、框架、运行时——而开发者对底层的理解正在退化。Handmade Hero 的价值不在于让你不用引擎，而在于让你理解引擎在做什么。

- **" handmade "运动的哲学：理解你使用的每一个字节。** Handmade Network 社区催生了一个全新的编程运动：回归对计算资源的直接掌控。这不是怀旧，而是对现代软件臃肿的有力反击。当 Muratori 展示如何用500行代码实现一个高效的内存分配器时，你会重新审视自己对 `malloc` 的依赖。

- **性能意识应该从第一行代码开始。** Muratori 的"Performance-Aware Programming"系列提出了一个革命性的教学方法：**不要先写"正确"的代码再优化，而是从第一天就培养性能直觉。** 理解缓存行、分支预测、内存对齐不是高级优化技巧，而是基本功。

**实用价值**：即使你永远不会用纯 C 写游戏，Handmade Hero 教给你的底层思维——内存布局如何影响性能、操作系统如何管理窗口和输入、GPU 如何处理渲染管线——会让你在任何领域都成为更好的程序员。

**适合人群**：对性能有追求的系统级开发者。需要 C 语言基础。

---

## 六、Reducible：让算法之美跃然屏上

**频道链接**: [youtube.com/@Reducible](https://www.youtube.com/@Reducible)

Reducible 是 CS 基础教育领域的视觉标杆。33.4万订阅，仅23个视频，但每一个都是精心打磨的视觉杰作。从 FFT（快速傅里叶变换）到路径搜索，从排序算法到图论，每个视频都用顶级动画将抽象概念具象化。

**核心洞察：**

- **最好的算法教育不需要写一行代码。** Reducible 的视频证明了：理解算法的最佳方式不是阅读伪代码或手动 trace，而是**看到**它工作。当 FFT 的蝶形运算以动画形式展现在你面前时，从 O(n²) 到 O(n log n) 的加速不再是抽象的复杂度符号，而是实实在在的路径缩短。

- **"Reducible"的含义：将复杂问题归约为简单问题。** 频道名字本身就是编程思维的核心——分治、递归、归约。每当你面对一个看似无解的问题时，问自己：能否将它拆分为更小的、已解决的问题？这正是计算机科学最核心的思维模式。

- **数学直觉比数学证明更有用。** Reducible 不追求严格的数学证明，而是追求让你"感觉"到为什么算法是对的。在他们的图论视频中，你会"看到"为什么 BFS 保证最短路径、为什么 Dijkstra 的贪心策略是安全的——这种直觉比任何证明都更持久。

**实用价值**：特别推荐他们的 FFT 视频和"路径搜索可视化"系列。如果你在准备算法面试，Reducible 能帮你建立真正的直觉，而非死记硬背。

**适合人群**：所有正在学习算法和数据结构的开发者。特别适合面试准备和 CS 基础巩固。

---

## 七、Hussein Nasser：工程实用主义的清醒之声

**频道链接**: [youtube.com/@hnasr](https://www.youtube.com/@hnasr)

Hussein Nasser 的频道是后端工程和网络协议领域的宝藏。他不教你如何用框架快速搭建应用，而是教你**框架下面在发生什么**——TCP 如何建立连接、TLS 握手的每一步细节、代理服务器如何转发请求、数据库如何处理事务。

**核心洞察：**

- **理解协议比掌握框架更重要。** Nasser 的视频反复强调一个观点：框架会过时，但协议和底层原理不会。HTTP/2 的多路复用、gRPC 的流式通信、WebSocket 的持久连接——当你理解了这些协议的设计动机和实现细节，切换框架只是 API 熟悉度的问题。

- **网络是后端性能的最大变量。** 在他的"Backend Engineering Fundamentals"系列中，Nasser 展示了一个令人震惊的事实：大多数"后端性能问题"的本质是网络延迟和 I/O 等待，而非 CPU 计算。理解 DNS 解析、TLS 协商、TCP 慢启动的机制，是解决分布式系统性能问题的前提。

- **面试中的系统设计本质是通信设计。** Nasser 的系统设计视频不只是教你"画架构图"，而是教你理解每个组件之间的通信模式——同步还是异步、推还是拉、批处理还是流式。当你在面试中说"我会用消息队列"时，Nasser 的内容能让你说出"为什么"。

**实用价值**：推荐观看他的"How HTTPS Works"完整系列和"Proxy Servers Explained"。如果你是前端开发者想转向全栈，或者后端开发者想深入理解网络层，Nasser 的内容是最系统化的免费资源。

**适合人群**：1-3年经验的后端开发者，以及想要深入理解网络通信的全栈工程师。

---

## 知识结构图谱

```mermaid
graph TB
    subgraph "七大编程流派"
        FP["Func Prog Sweden<br/>函数式纯粹派"]
        CF["Computerphile<br/>学术理论派"]
        SL["Sebastian Lague<br/>探索创造派"]
        TS["Tsoding<br/>娱乐黑客派"]
        MR["Molly Rocket<br/>零抽象系统派"]
        RD["Reducible<br/>数学可视化派"]
        HN["Hussein Nasser<br/>工程实用派"]
    end

    subgraph "抽象层次"
        HIGH["高抽象层<br/>类型/函数/声明式"]
        MID["中间层<br/>算法/数据结构"]
        LOW["底层<br/>内存/协议/硬件"]
    end

    FP --> HIGH
    CF --> HIGH
    CF --> MID
    SL --> MID
    TS --> MID
    TS --> LOW
    MR --> LOW
    RD --> MID
    HN --> LOW

    subgraph "核心思维模式"
        MATH["数学思维<br/>证明/推导"]
        EXPLORE["探索思维<br/>试错/创造"]
        ENGINEER["工程思维<br/>权衡/优化"]
    end

    FP -.-> MATH
    CF -.-> MATH
    RD -.-> MATH
    SL -.-> EXPLORE
    TS -.-> EXPLORE
    MR -.-> ENGINEER
    HN -.-> ENGINEER

    style FP fill:#e8f5e9
    style CF fill:#e3f2fd
    style SL fill:#fff3e0
    style TS fill:#fce4ec
    style MR fill:#f3e5f5
    style RD fill:#e0f7fa
    style HN fill:#fff8e1
```

## 七种流派选择指南

| 你的状态 | 推荐频道 | 原因 |
|---------|---------|------|
| 编程倦怠期 | Sebastian Lague | 用创造性的项目重燃热情 |
| OOP思维瓶颈 | Func Prog Sweden | 函数式思维打开新维度 |
| 面试准备中 | Reducible + Hussein Nasser | 算法直觉 + 系统设计 |
| 想理解底层 | Molly Rocket + Tsoding | 零抽象视角看清本质 |
| 填补CS盲区 | Computerphile | 学术严谨 + 全面覆盖 |
| 后端进阶 | Hussein Nasser | 网络协议深度解析 |

---

## 延伸推荐

1. **The Cherno** — 前EA游戏引擎开发者，C++和游戏编程系列质量极高，适合想深入 C++ 底层的开发者
2. **Simon Dev** — 3D图形编程和游戏引擎架构的深度教程，数学和编程的完美结合
3. **Low Level (LowLevelTV)** — 112万订阅，专注底层安全、汇编和硬件理解，"用10分钟学汇编"系列堪称经典
4. **Bisqwit** — 芬兰程序员，Demoscene 风格的编程艺术，用 C++ 为 DOS 写 OpenGL 第一人称 Demo，展示了编程作为艺术形式的极致可能
5. **Philip Wadler (学术讲座)** — "Types are calling conventions"等经典演讲，在 YouTube 上可找到多场函数式编程和类型理论的学术演讲

---

## 参考来源

1. [Func Prog Sweden - YouTube](https://www.youtube.com/@FuncProgSweden) — 函数式编程社区频道，定期举办线上分享会
2. [Computerphile - YouTube](https://www.youtube.com/computerphile) — 诺丁汉大学制作的计算机科学教育频道
3. [Sebastian Lague - YouTube](https://www.youtube.com/c/SebastianLague) — 创意编程探险频道，Coding Adventures 系列创作者
4. [Tsoding - YouTube](https://www.youtube.com/tsoding) — 娱乐编程频道，以直播形式展示从零构建过程
5. [Molly Rocket / Handmade Hero](https://www.youtube.com/@MollyRocket) — Casey Muratori 的零抽象系统编程项目
6. [Reducible - YouTube](https://www.youtube.com/@Reducible) — 算法可视化教育频道，CS 基础概念的视觉解读
7. [Hussein Nasser - YouTube](https://www.youtube.com/@hnasr) — 后端工程和网络协议深度解析频道
8. [Developer Educators - 50 Best Programming YouTube Channels 2026](https://developereducators.com/lists/best-programming-youtube-channels/) — 2026年编程频道综合排名
9. [MoldStud - Top YouTube Channels for Programming Paradigms](https://moldstud.com/articles/p-top-youtube-channels-for-learning-programming-paradigms-your-ultimate-guide) — 编程范式学习频道推荐

---
> 本文由「51学通信」技术团队出品。51学通信由通信行业18年老兵**爱卫生**（微信ID: gprshome201101）维护，聚焦5G/6G核心网、3GPP标准解读、通信前沿技术深度分析。
> 出版作品有《5G核心网原理与实践》《IMS原理与实践》等4本通信专业书籍。知识星球「51学通信」提供深度技术答疑和行业洞察。

> [!tip] 51学通信知识星球
> **星主：爱卫生**（微信：gprshome201101）——公众号「51学通信」创办者，19 年通信行业运维与讲师经验，著有《GPRS网络信令实例详解》《EPC原理与实践》《5G核心网原理与实践》三本纸质书（各大电商平台有售）。
> **星球定位**：深耕 5G 核心网、IMS、NFV/AI、云原生等 ICT 领域，主打运维岗位与信令分析。
> **当前规模**：5200 篇主题 / 990 个回答，198 元/年。
> **加入福利**：加入星球后请加爱卫生微信，拉您进知识星球年度陪伴与答疑群——不限量回复您的各种问题，另有群内分享。
> **AI 加持**：51学通信知识星球已作为 skill 接入 WorkBuddy，使用 deepseek-4-flash 在海量星球帖子中精准找贴、找视频、找 FAQ 和案例，做总结、找文档和 PPT 等场景全覆盖。

![51学通信知识星球海报-扫码加入](https://wiki.500nian.com/images/zhixingqiu_qrcode.png)
