Types versus classes

  • types -- type checking predicates
  • classes -- templates for object creation

Type specification

  • syntactically -- signature \zline{(under)}
  • semantically -- behavior \zline{(right)}
  • pragmatically -- implementation \zline{(over)}

slide: Types and classes