"Outperforming Imperative with Pure Functional Languages" by Richard Feldman
6 人推荐 · 跨 6 个月 · 2021–2025
中文导读
Richard Feldman 探讨纯函数式编程性能天花板的演讲。他深入解释了现代编译器如何利用就地突变等优化手段消除冗余对象拷贝，使不可变代码在性能上追平甚至超越命令式代码，并结合了他在开发 Roc 语言时的前沿探索。
为什么 HN 推它
被 HN 社区奉为讲透“为什么不可变数据结构不等于慢”的最佳科普，同时也是全面了解新兴函数式语言 Roc 的绝佳入口。
「如果想搞懂那些底层性能细节，看这个演讲作为起点再合适不过了。」HN 网友原话：As a starting point for those nitty grittys, this talk is probably as good as any
英文原摘要（HackerTube / Claude 整理）
Richard Feldman explains how pure functional languages can match or beat imperative ones on performance. Compilers can turn immutable code into in-place mutation, avoiding naive copying. The talk draws on his work on the Roc language.
Recommended as the clearest explanation of why immutable data need not be slow, and as the introduction to Roc.
HN 上的提及
Roc-lang, which is a functional, systems language in development uses something called opportunistic in-place mutation to do just that.
why immutable does not necessarily mean slow and given enough attention can mean higher performance in certain cases
Up and coming Languages I am excited about
I just saw nice talk by Richard Feldman [1] about it
As a starting point for those nitty grittys, this talk is probably as good as any