Lecture Notes for April 8

Read for Today

• Sections 7.1.

Topics to Cover Today

• Thinking about types
  • denotational (domains)
  • constructive (built-in/primitive types, composite types, constructor)
  • abstraction based (interface)
• Classification of Types
  • Booleans: Haskell/Java versus C versus Perl
  • Numbers: integers, signed/unsigned, precision, complex, fixed point, floating point
  • Enumerated type
  • Subrange types
  • Composite types: records, variant records, arrays, sets, pointers, lists, files