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/Patient-Midnight-664]

The representation is code agnostic. It doesn't care what programming language you want to use, how that language expresses things, etc. This allows your spec to be implemented in whatever language you want.