Polimorfizm (z gr. wielopostaciowość) – mechanizmy pozwalające programiście używać wartości, zmiennych i podprogramów na kilka różnych sposobów[1]. Inaczej mówiąc jest to możliwość wyabstrahowania wyrażeń od konkretnych typów[2].
↑Mordechai Ben-Ari: Understanding Programming Languages. Chichester: John Wiley & Sons, 1996. Brak numerów stron w książce
↑Robert Harper: Type Systems for Programming Languages. Brak numerów stron w książce