Lecture Notes for April 15

Read for Today

• Sections 7.2.

Topics to Cover Today

• Type checking
  • Type equivalence
  • Type compatibility
  • Type inference
• Type equivalence
  • Structural versus name equivalence
  • Does order matter?
  • Do constants matter?
  • Type conversion (work or no work)
• Type compatibility
  • Compatibility versus equivalence
  • Type coercion
  • Generic reference
• Type inference