I think the most important point the OP makes is that RWO provides operationally aware reasoning behind each language feature. Some runtimes are more complicated than others (looking at you JVM and .Net) and can be difficult to reason about. By knowing the underlying runtime means you can make informed decisions when it comes to things like scaling or debugging runtime issues. Go is another language that provides this style of reasoning.