多态 (计算机科学)

程序设计语言与类型理论 来自维基百科，自由的百科全书