Đa hình (khoa học máy tính)

Trong ngôn ngữ lập trình và lý thuyết kiểu, đa hình (, từ tiếng Hy Lạp πολύς, polys, "nhiều" và μορφή, morphē, "hình dạng") là việc cung cấp một giao diện cho các thực thể thuộc nhiều kiểu khác nhau. Một kiểu đa hình là kiểu mà những toán tử của nó có thể được áp dụng cho các giá trị của kiểu khác, hoặc các kiểu.: "Polymorphic types are types whose operations are applicable to values of more than one type." Có nhiều loại đa hình cơ bản, gồm: đa hình tùy biến (ad hoc polymorphism), đa hình tham số (parametric polymorphism) và đa hình dẫn xuất (subtyping, hay còn gọi là subtype polymorphism, inclusion polymorphism).

 Lịch sử 

 Các loại đa hình 
 Đa hình tùy biến 

 Đa hình tham số 

 Dẫn xuất 

Polytypism

 Hiện thực 

 Xem thêm 
 Duck typing for polymorphism without (static) types
 Polymorphic code (Computer virus terminology)
 System F for a phép tính lambda with parametric polymorphism.
 Type class
 Lý thuyết kiểu
 Virtual inheritance

 Tham khảo 

 Liên kết ngoài 
 C++ examples of polymorphism
 Objects and Polymorphism (Visual Prolog) 


Thể loại:Kiểu dữ liệu
Thể loại:Lập trình hàm
Thể loại:Lập trình hướng đối tượng
Thể loại:Khái niệm ngôn ngữ lập trình
Thể loại:Lý thuyết kiểu