Полиморфизм языка означает возможность создания иерархии классов, в которой метод с одним именем может встречаться в разных классах. При вызове этого метода во время выполнения будет определяться реальный класс объекта и вызываться реализация этого метода в данном классе. В языке нет разделения методов на статические и динамические (виртуальные). Все методы являются динамическими. Интерпретатор языка самостоятельно определяет тип связывания для метода на основе систематических критериев (например, был ли хотя бы раз переопределён метод).
См. также: