PCES PI Meeting
Feb 2001
21
Types to Guide Language Design
•Elegance
and uniformity
•Static
verifiability
•Orthogonality
to other constructs
•Conservative
extension property
•Consistency
across module boundaries
•Some measure of language independence
•Reasoning
about programs