Here's sort of a relevant critique to that idea: http://www.commitstrip.com/en/2016/08/25/a-very-comprehensive-and-precise-spec/ http://www.commitstrip.com/en/2

Here's sort of a relevant critique to that idea: http://www.commitstrip.com/en/2016/08/25/a-very-comprehensive-and-precise-spec/ http://www.commitstrip.com/en/2016/08/25/a-very-comprehensiv... Not saying that there isn't merit to the idea. Just saying that program synthesis is more or less synonymous with programming language design when you take into account the challenges involved.