[프로그래밍 언어론] 객체 지향, 다형성