O polimorfismo do tipo ad-hoc é o polimorfismo que ocorre em tempo de compilação. Existe uma vertente dos cientistas da computação mais puristas, que nem o consideram polimorfismo de verdade por não acontecer com o código rodando (em tempo de execução). Esse polimorfismo ad-hoc se subdivide em polimorfismo de sobrecarga e polimorfismo de coerção.
Polimorfismo do tipo ad-hoc: Sobrecarga (overloading) e coerção (coercion);
polimorfismo universal: inclusão (Inclusion - overriding) e Paramétrico (parametric);
fonte: http://www.itnerante.com.br/profiles/blogs/polimorfismo-universal-e-ad-hoc-cai-em-concurso-e-voc-n-o-sabia
Q86737 (FCC 2011 - TRT/RS - Analista Judiciário - Tecnologia da Informação)
Na taxonomia utilizada para as formas de polimorfismo são, respectivamente, dois tipos categorizados como universal e dois como Ad Hoc:
A Paramétrico e Inclusão; Sobrecarga e Coerção.
B Paramétrico e Coerção; Sobrecarga e Inclusão.
C Paramétrico e Sobrecarga; Inclusão e Coerção.
D Sobrecarga e Inclusão; Paramétrico e Coerção.
E Sobrecarga e Coerção; Paramétrico e Inclusão.
Resposta (A).