Why is Staged Programming Difficult?
Departure from simple operational model
Reasoning about program-generating programs
Automation leading to unpredictability
Instability under program evolution