Richard Feldman personal blog
How close can pure functional programming get to C?
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:
- Points
- 282
- HN comments
- 102
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesSoftware Engineering2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Oct 24, 2026 | How close can pure functional programming get to C? by stmonty | 282 | 102 |
