參數多態

參數多態在程序設計語言與類型論中是指聲明與定義函數 、 複合類型 、 變量時不指定其具體的類型 ， 而把這部分類型作爲參數使用 ， 使得該定義對各種具體類型都適用 。 參數化多態使得語言更具表達力 ， 同時保持了完全的靜態類型安全 。 這被稱爲泛化函數 、 泛化數據類型 、 泛型變量 ， 形成了泛型編程的基礎 。