Friday, February 08, 2008
Desiderata for Languages
 - Representable
   - first-class data
     - named
     - passed as argument
     - returned as value
     - incorporated into data structure
 - Expressive
   - analyzable
   - concise
 - Broad
 - Orthogonal
 - Continuous
 - Closed