CS 342 Lecture -*- Outline -*- * Type Checking in Smalltalk ** Strong no way to access object's representation (instance vars) can only send it messages => representation independence. ** Dynamic for each message, check if object's class implements it. possible to do static type checking for such languages Advantages terse flexible, allows non-homogeneous collections Disadvantages errors caught later