technical.cx Entities

Lobsters

How close can pure FP 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...

Topics: Programming

Entities: Programming