Lecture Notes for April 17

Read for Today

• Sections 7.2.

Topics to Cover Today

• Type compatibility
  • Coercion: structurally equivalent, overlapping values, different representations
• Type inference—another interpreter!
  • Minimal inference (C, Pascal, C++, Java)
  • Maximal inference (ML, Haskell)
• Records
  • heterogeneous, named data treated as a whole
  • in memory: offsets, padding, assignment, equality test
  • variant records: equality test, tag/discriminant
• Arrays (true arrays, not hashes!)
  • homogeneous, indexed data treated as a whole
  • zero-based, one-based, n-based?
  • multi-dimensional