Modularity vs. Efficiency
•
Goal: building systems that are
–
highly modular
–
correct
–
easy to adapt
–
fast to construct
•
How can we achieve this and attain efficiency?
Our approach:
Types and explicitly staged computation