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

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 https://news.ycombinator.com/item?id=31780128 [2] https://github.com/xldenis/creusot 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 https://github.com/iliekturtles/uom The base properties of the language enable things that can never be done in C++.