Uma possível forma de implementar polimorfismo em uma linguagem de programação é através do polimorfismo universal paramétrico, em que a conversão de tipos sobre os parâmetros de uma função se dá implicitamente.

Linguagens de programação que implementem o conceito de herança também precisam implementar o conceito de polimorfismo por construção.

A implementação de polimorfismo em linguagens de programação se vale do conceito de ligação tardia, em que o tipo de uma variável só é conhecido em tempo de execução. Isso significa que linguagens compiladas não possuem polimorfismo na forma estrita.

Polimorfismo representa um conceito em que um mesmo nome (como uma variável, por exemplo) pode denotar objetos de diferentes classes que estão relacionadas por uma superclasse comum.

Linguagens de programação que não possuem tipo, como, por exemplo, Smalltalk não podem implementar polimorfismo.