News for hackers. Stuff that matters.

A comment on What it feels like when Rust saves your bacon. Parent comment

Re:What it feels like when Rust saves your bacon by sitkack on Friday June 24, 2022 @06:55AM (#31859994)
You often encounter this entire thread of rhetoric when someone wants to put a diversion into the central argument, yeah but it doesn't ____.

But Rust does do that, match exhaustiveness, forcing the handling of errors and the type system enables things like CreuSAT [1] using creusot [2]

[1] https://news.ycombinator.com/item?id=31780128

[2] https://github.com/xldenis/creusot

> Creusot works by translating Rust code to WhyML, the verification and specification language of Why3. Users can then leverage the full power of Why3 to (semi)-automatically discharge the verification conditions!

Units of Measure, https://github.com/iliekturtles/uom

The base properties of the language enable things that can never be done in C++.

[ Parent | on HN ]
Re:What it feels like when Rust saves your bacon by scatters on Friday June 24, 2022 @02:00PM (#31866691)
You mean like Boost.Units?
[ Parent | on HN ]
Re:What it feels like when Rust saves your bacon by sitkack on Friday June 24, 2022 @03:08PM (#31867851)
Great example of the kind of cherry picking in these conversations. It is insincere and uncharitable, all you did was show your colors. Didn't say everything was exclusive to Rust, while you make no mention on the ground breaking work in CreuSAT. Given as an example of the kinds of things besides memory lifetime tracking that can make Rust code more robust against logical errors.
[ Parent | on HN ]