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