Com S 342 meeting -*- Outline -*- * data for the langauge ** plan brainstorm for a while about the types in the language. Make two lists: one for the simple types and one for the compound types . Then think about how simplicity affects the list of types how do we know whether we have: too many types? (User-defined types, simplicity of numeric types) Enough types? (Time and space efficiency, completeness) What should types be built-in? Depends on their utility, in efficiency, portability, and whether they need to be used in means of combination (such as Boolean) should there be generic types or should there be run-time type checking? (Simplicity, closure) ** operations talk about constructors and observers discussed special forms ** terminology special form closure (as in algebraic closure)