I half-remember they tried to do a subset of this with some LISP/SCHEME, but it didn't pan out too well.

http://en.wikipedia.org/wiki/DWIM