Here's a real holy grail of software engineering that might actually be attainable without getting Strong AI.

Significant code reuse without using a lot of hacks. I think Lisp and Ruby made great strides towards this, but I don't think we're quite there yet.