Lecture Notes for April 1

Read for Today

• Section 7.1.

Topics to Cover Today

• Why data types? implicit context, limiting operations
• Type systems
  • a mechanism to define types and associate them with certain language constructs
  • rules for type equivalence, type compatibility, and type inference
• Type checking: type clash, strongly/weakly typed, statically/dynamically typed, type inference