> Can we formalize that abstraction such that the prompt is an exact specification, just, at a super high level Every time people attempted on this they ended

> Can we formalize that abstraction such that the prompt is an exact specification, just, at a super high level Every time people attempted on this they ended up with a programming language that is harder to use than usual programming languages. SQL was marketed as "fourth-generation programming language." Two other examples that come to mind: Github Actions, and node-based visual programming.