Rust在内存管理上引入了函数式语言已有的代数数据类型等概念，但存在理论缺陷。其所有权模型虽提升了内存安全性，但类型系统不健全，存在子类型等问题。依赖类型和线性类型能提供更优的内存安全方案。Rust的静态链接导致安全更新延迟、二进制文件臃肿，且性能常不及C。函数式语言在类型安全和内存管理上更成熟，未来应结合性能优化。Rust是当前缺乏理想替代时的过渡方案。
title: Rust and the price of ignoring theory
url: https://www.youtube.com/watch?v=1iPWt1gvT_w
uploader: James Faure
publish_timestamp: 2025-12-18 17:06:33 CST
duration: 52:35
原视频描述(中文翻译):
00:00 引言
00:50 Rust的作用
02:59 内存管理原理
05:30 栈内存
08:04 堆内存
09:07 内存池
11:05 数学理论与硅芯片实现
13:04 垃圾回收器
13:55 Rust借用与生命周期子类型示例
17:10 通过依赖类型实现安全边界访问
18:37 理论探讨
19:45 Granule：线性类型系统
21:15 线性类型的局限性
22:39 所有权机制
25:27 理论与实用主义的阴暗面
26:55 动态链接
30:10 安全噩梦
35:47 Rust的杂项优势
40:06 Rust重写案例：Discord（从Go迁移）、ripgrep（从C迁移）、rustc（从Ocaml迁移）
40:57 Ocaml模块系统
42:25 编译速度
43:34 运行速度
44:35 Linux内核
45:25 GPU编程
45:52 个人实践
49:18 结论
51:52 未来展望
内存管理这种看似无关紧要的底层细节，既难以自动化，又会在无谓地模糊算法逻辑的同时带来巨大风险。然而，内存管理的优劣往往决定着性能的成败，并可能引发灾难性的程序错误。
改进内存管理的尝试值得欢迎，但前提是不能重蹈历史覆辙。
Rust迈出了一步前进，却倒退了两步。其狂热的误导性宣传、被浪费的潜力，以及对数十年研究积累的智慧成果的轻蔑忽视，都令人格外恼火。尽管Rust对安全性有着执念，但其包管理和链接系统最终制造的安全隐患，可能比它有限的安全内存模型所能消除的还要多。
---
**参考文献**
《通过部分唯一性实现函数式所有权》
https://dl.acm.org/doi/10.1145/3649848
《混合线性与分级逻辑：证明、项与模型》
https://arxiv.org/abs/2401.17199
Granule项目GitHub
https://github.com/granule-project/granule
《为何不应捆绑依赖》
https://wiki.gentoo.org/wiki/Why_not_bundle_dependencies
