Alan Kay <Alan.Kay at squeakland.org> wrote:
	An idea that has surfaced numerous times in various ways over the 
	last 40 years can be stated as a question:
	
	If unit tests are a good idea, then shouldn't we try to generate the 
	method code directly from them?
	
	In other words, there could be/should be a language in which one 
	programs in terms of the criteria to be achieved, and the system 
	tries to come up with code that meets those criteria.

Sounds like Udi Shapiro's work back in the 1980s,
use a declarative debugger, and write code by debugging the empty program.