Lecture 2, CSE341, Spring 2004 summary

* Language concepts: 
    syntax vs. semantics vs. idioms vs. libraries vs. tools

* Function bindings
   * syntax, types, semantics, examples
   * the environment for evaluating application
   * recursion

* Pairs
   * syntax, types, semantics, examples
   * compound data -- can have "pairs of pairs of..." but size fixed
   by type

* Lists
   * syntax, types, semantics, examples
   * arbitrary length, but elements have the same type
   * getting head or tail of an empty list is a run-time error
   * use recursion to process lists