this post was submitted on 04 Apr 2024
20 points (100.0% liked)
Rust
5999 readers
23 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 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
It's pretty interesting for microcontrollers, kernels, and other types of low-level applications.
That said, I agree. I'm more interested in provable memory safety and certain forms of correctness guarantees. I'd love to see more work on pure functions and other FP concepts.