Uma das características das linguagens orientadas a objetos é que a ligação entre o método e uma mensagem é realizada tardiamente, em tempo de execução, ao contrário das linguagens imperativas, cujos tipos das variáveis, expressões e funções devem ser definidos e conhecidos em tempo de compilação.