<i>When you begin to formalize human language in such a way that it becomes unambiguous, you effectively just create a new programming language.</i><p>That has always been the case, but I believe solvers for general programming will change things dramatically. The point of a solver is that you give it a problem in a formal, relatively unambiguous language, and it finds a proof. At the moment this really only works for maths problems, and even then you often need a specialist solver for the type of problem. General solvers are coming though, and they&#x27;ll expand beyond maths and they&#x27;ll accept more and more ambiguous language - often that will mean they come up with the wrong solution, but that&#x27;s just a matter of iterating until something is correct.<p>I&#x27;m not suggesting one day you&#x27;ll open up Notepad and type &quot;The user is in a dystopian world full of Raiders&quot; and get Fallout 4, but I strongly believe you&#x27;ll be able to write &quot;The first page is a form with inputs for name, address and email. When they&#x27;ve completed that form successfully they go to the product collection page.&quot; and you&#x27;ll get the beginnings of an ecommerce app.<p>In small ways we&#x27;ve already got that sort of thing (generators for various frameworks). It&#x27;s only going to get better.