maybe code will go the way of preciesely specified requirements. I guess that kind of exists already with formal proving, but maybe new languages will along that merge the two even closer. For example, instead of specifying a map data structure, you will specify a way two data elements associate, and AI will try various DS until it hones in on the "best" (highly dubious word there) one.