2 ms·

I think we went far off topic form what I wanted to know and somehow ended up discussing the merits of FSMs, so I'd like to get back to what I consider the key

by blub 7y ago

I think we went far off topic form what I wanted to know and somehow ended up discussing the merits of FSMs, so I'd like to get back to what I consider the key point here: * Rust provides guaranteed memory safety. Memory leaks aside. * Rust provides freedom from race conditions. Deadlocks aside. What other kinds of safety does it provide? I often see optional/result/match or generally "the type system" brought up and this is what I'm explicitly challenging.

staticassertion 7y ago
> What other kinds of safety does it provide? I'm confused because the entire thread is about answering this question and I even detailed it explicitly in the previous post. It provides the safety from invalid state transitions in the form of opt-in state machine type encoding. What else is there to discuss? I just gave you a concrete example, which you challenged on the basis that it was not impactful, so I provided you research showing otherwise.