Declarative languages are then the natural choice. Instead of reasoning about arbitrary control flow semantics you can just think about what your program is act

Declarative languages are then the natural choice. Instead of reasoning about arbitrary control flow semantics you can just think about what your program is actually meant to be doing. Then if you need to zoom in later and manipulate state/control flow directly that’s a new paradigm to learn.