Get the latest tech news
How close can pure functional programming get to C?
FP get to C? October 22, 2026 In Why Lean is Faster Than Rust, the author shares an impressive result: a DEFLATE compression library written in Lean 4, a functional programming language and proof assistant, outperforming an equivalent Rust package that crates.io says has been downloaded over a billion times. From the article: lean-zipbeats every single compression level miniz_oxideprovides, i.e.
None
Or read this on Hacker News