Polymorphism and language