Types versus classes

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

Type specification

• syntactically -- signature

  (under)

  
  
• semantically -- behavior

  (right)

  
  
• pragmatically -- implementation

  (over)