169
Rust-Written Zlib-rs Is Not Only Safer But Now Outperforming Zlib C Implementations
(www.phoronix.com)
this post was submitted on 25 Feb 2025
169 points (99.4% liked)
Rust
6447 readers
61 users here now
Welcome to the Rust community! This is a place to discuss about the Rust programming language.
Wormhole
Credits
- The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Well, I don't know much about Ada, but it's typically lauded for all its compile-time checks. Obviously, you can't compile-time check something when it's loaded at runtime from e.g. a configuration file, but yeah, I'm guessing that's probably where it shines, that it uses compile-time checks when possible.
I would really like the mythical higher kinded types (which I think covers what Ada does here), but unfortunately we don't have that yet.