Com S 342 meeting -*- Outline -*-

* means of combination syntax
** syntax of expressions
   Q: What should the syntax be for expressions?
        want to use conventional infix syntax (unlike Scheme/Lisp)
        want to use parentheses for controlling order of evaluation

        in Oz, use {...} for procedure calls, so () only means grouping
        no commas (so comma is an operator), more regular

   Q: How should we make literals/symbols?

        in Oz and Prolog, use case: starts with lowercase is a symbol
        upper case is a (dataflow) variable

** commands and combinations of commands (statements)
   Q: What commands do we need?
   
        unification of dataflow variables,
	assignment (:=), sequencing (;?), if-then-else,
        perhaps other special forms

	terms: expression language vs. statement language

        in Oz

           primitive            compound
           ================================
           Cell := E            if B then S1 else S2 end
           skip                 while B do S end
           return               S1 ... Sn
           throw E end          {P Arg1 ... Argn}
                                thread S end
                                case E0 of pat1 then S1 else S2 end