Explicit Staging
Staging behavior should be explicit in programs
•
Promotes readability and maintainability
•
Supports reliable reasoning about behavior
•
Ameliorates unpredictability of optimizations
•
Not unduly burdensome