ion::::参数多态.参数多态允许函数或数据类型被一般性的书写，从而它可以“统一”的处理值而不用依赖于它们的类型。参数多态是使语言更加有表现力而仍维持完全的静态类型安全的一种方式。这种函数和数据类型被分别称为“泛型函数”和“泛型数据类型”从而形成了泛型编程的基础。例如，可以构造连接两个列表的一个函数codice_2，它不关心元素的类型：它可以附加整数的列表、实数的列表、字符串的列表等等。设定“类型变量codice_3”来指定这个列表中元素的类型。接着codice_2可以确定类型： 这里的codic