Hacker News | 📄 原文链接 | 2026-10-25 收录

纯函数式语言能离 C 多近：roc-deflate 只慢 2.6% 到 8.9%

来源：rtfeldman.com — 2026-10-22

📋 概述

起因是 Lean 4 写的 DEFLATE 库 lean-zip 打赢了 Rust 的 miniz_oxide，却打不过 C 的 libdeflate。Roc 语言作者 Richard Feldman 于是拿刚起步的 roc-deflate 去挑战 libdeflate：在 Silesia 语料上跑 144 个基准，输出逐字节一致，中位数 Ryzen 3900X 慢 8.9%、M1 MacBook Pro 慢 2.6%。对一个还在 0.1.0 前夜、几乎没做过优化的函数式语言来说，这个差距已经很接近。

🔑 核心要点

roc-deflate 对 libdeflate：Ryzen 3900X 中位慢 8.9%，M1 MacBook Pro 慢 2.6%，输出完全相同。
对手 libdeflate 是极度手工调优、用上架构相关 SIMD 的 C 实现，函数式语言碰不到那一层。
Roc 把「跑得快、编译快」写在标语第一位，这次是对语言设计的实测而非跑分游戏。
只测非流式 API，因为 roc-deflate 还没实现流式接口；基准用 Silesia 语料，跨 M1 与 Ryzen 双平台取值。

💡 金句

roc-deflate ran these 144 benchmarks slower on average than libdeflate, in the median case 8.9% slower on the Ryzen 3900X, and 2.6% on the M1 MacBook Pro.

← 返回 Hacker News 首页