It’s usually not dramatically simpler though. Many of them (C++, TypeScript, Rust…) end up growing into esoteric, “accidentally Turing-complete” monstrosities that are much harder to reason about than simple if statements and loops.