Types versus classes

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

Type specification

  • syntactically -- signature

    • (under)


  • semantically -- behavior

    • (right)


  • pragmatically -- implementation

    • (over)


slide: Types and classes