[raincole]

> 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.

[ajkjk]

ya I think it's possible to do vastly better than those