I thought this was quite interesting. It’s the slides from the 1998 Turing lecture, given by Jim Gray talking about what enabling technologies would have the most value for IT. Remarkably prescient given the date of the talk and how fast things change.
Here is a particularly interesting screen grab from p.47:
Gray sees such a system “discussing” the system with the designer…and mentions that this is a type of Turing test–the automated programming system is imitating a programmer.
I wonder how close to this vision a good declarative language would be?