Rust programming language is often viewed as the successor to C/C++, poised to eventually dominate the development of safety-critical kernels and low-level applications. It holds holds significant potential in API layers.
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.
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.