This is still a far way away from the program actually understanding the code to the point unnecessary for that. However, if I understand what you are describin

This is still a far way away from the program actually understanding the code to the point unnecessary for that. However, if I understand what you are describing, a simmalar system exists for Haskell (and possibly other languages)[1]. The idea behind hoogle is that you search for a type signature and get back functions with such a type. This idea probably would not work well for most languages, as it depends heavily on the strength of haskells type system. Also, hoogle only looks at standard libraries, but there is no reason we cannot use the same type system based search with SO. [1] http://www.haskell.org/hoogle/ http://www.haskell.org/hoogle/