Folia
← 返回头版

纯函数式编程能有多接近C语言性能?

Roc函数式编程语言的一项性能对标研究表明,现代纯函数式语言在接近传统编程语言效率方面取得了显著进展。1一位开发者对Roc的DEFLATE压缩实现进行了优化,使其性能与C语言标准库libdeflate进行了直接对比。1基于144个基准测试,roc-deflate在M1 MacBook Pro上的中位数性能仅比libdeflate慢2.6%,在AMD Ryzen 3900X处理器上中位数慢8.9%。1虽然最坏情况下roc-deflate会慢18%,但在最优情况下反而快18%。1

这项工作展现了纯函数式语言缩小性能差距的可行性。1Roc通过采用机会性变异等编译器优化技术,在保留完全内存安全、无副作用和确定性行为保证的前提下,接近了C语言的执行效率。1虽然尚未超越C的性能天花板,但这证明了纯函数式编程不必在性能和语言特性间进行绝对妥协。1值得注意的是,Roc 0.1.0版本距离首次发布仅数周,该语言仍处于早期开发阶段。1


评论