Comment Rust is not just memory safety (Score 1) 57
Rust has a complex and powerful algebraic type system. If used wisely, it can make invalid states impossible to express in the language. Part of the power is the capacity to use the language to make various classes of bugs hard, if not impossible to write. It's not a perfect fit for everything, but I think the 'Rust experiment' is going to happen and we'll see if memory safety and algebraic types are an overall improvement.