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