Great!
Great!
Posted May 19, 2015 13:34 UTC (Tue) by dgm (subscriber, #49227)In reply to: Great! by roc
Parent article: Rust 1.0 released
This is hardly a problem with the language, but with the code written in it, or more exactly, with the coder that wrote it. It's not difficult (even if tedious) to keep in mind your invariants, and rewind changes in case of failure. My personal experience is that the easiest way to do it is follow commit semantics (which for the uninitiated means not changing object's state until no exceptions can be raised).
Posted May 21, 2015 5:08 UTC (Thu)
by roc (subscriber, #30627)
[Link]
Ultimately all bugs are "problems with the coder that wrote it", but coders aren't perfect and their time isn't free, so making coding easier matters.
Great!
In practice, following commit semantics for large complex modules is too difficult and/or too expensive at run-time.