Is there any self-improving compiler around?

Question

I am not aware of any self-improving compiler, but then again I am not much of a compiler-guy.

Is there ANY self-improving compiler out there?

Answer 1

Not yet practically implemented, to my knowledge, but yes, the theory is there:

• Goedel machines: self-referential universal problem solvers making provably optimal self- improvements.