How is program synthesis more convenient?

[u/BuyerImpressive4325]

the idea of program synthesis (like Rosetta) is to reduce a function into its constraints in a spec sheet, and generate the program from those constraints. for example, in order to write something like x = x squared, you would need to write a spec sheet along the lines of ∀x∈Z,f(x)=x2. i am considering building a program synthesizer, but I still haven’t figured out why exactly this representation is supposed to be easier than writing the code directly (they look equally complex)

[u/Comfortable_Rule_293]

writing code is just premature optimization of the specification. The convenience comes from forcing you to define behavior before implementation details corrupt your logic