High level synthesis for FPGAs is coming along, slowly, and dynamic method migration has been around for at least a decade. But I agree that more efforts along those lines would be interesting to see.