You'll get the program instantly, but writing formal specifications isn't trivial, especially when they have to be machine readable. Consider that there are some problems where the complexity of the coding is mirrored exactly in the complexity of the specification (for a simple example, a switch-case statement has as much logic in specification as it does in code).
But I'd also say that most problems people want solving are massively underspecified. For example, what is the formal specification for the problem that your preferred web-browser solves which its competitors do not?
But I'd also say that most problems people want solving are massively underspecified. For example, what is the formal specification for the problem that your preferred web-browser solves which its competitors do not?