Programming
4 Staging errors caught quickly
4 Explicit staging not too intrusive
4 Conservative over host language
4 Reasonable expressive power of primitives
? Predictable programmer efficiency model