Introduction to OOP: Chapter 10: Subclasses and Subtypes [next] [previous] [audio] [real] [text]

Binding in Smalltalk

Dynamically typed language
All variables polymorphic - maintain their own type information
Legality of message passing not checked until run-time (Can be tested directly by programmers if desired).
Reverse polymorphism is not a problem in dynamically typed languages.