ML，是一个函数式编程语言、指令式编程语言的通用编程语言的编程语言，它著称于使用了多态的类型推论。ML能自动的指定多数表达式的数据类型，不要求显式的类型标注，而且能够确保类型安全，已经正式证明了有良好类型的ML程序不会导致运行时间类型错误。
，。界面泛指实体把自己提供给外界的一种抽象化物，用以由内部操作分离出外部沟通方法，使其能被修改内部而不影响外界其他实体与其互动的方式，就如物件导向程式设计提供的多态。界面可能也提供某种意义上的在讲不同语言的实体之间的翻译，诸如人类与电脑之间。因为界面是一种间接手段，所以相比起直接沟通，会引致些额外负担。
在计算机程序设计中，运算符重载是多态的一种。这里，运算符被当作多态函数，它们的行为随着其参数类型的不同而不同。运算符并不一定总是符号。
，。界面泛指实体把自己提供给外界的一种抽象化物，用以由内部操作分离出外部沟通方法，使其能被修改内部而不影响外界其他实体与其互动的方式，就如物件导向程式设计提供的多态。界面可能也提供某种意义上的在讲不同语言的实体之间的翻译，诸如人类与电脑之间。因为界面是一种间接手段，所以相比起直接沟通，会引致些额外负担。
，台湾译为面，中介之面的意思；中国大陆译作面，也译作，但“port”大陆也是译作。界面泛指实体把自己提供给外界的一种抽象化物，用以由内部操作分离出外部沟通方法，使其能被修改内部而不影响外界其他实体与其互动的方式，就如物件导向程式设计提供的多态。
在编程语言理论中，子类型是一种多态的形式。这种形式下，子类型可以里氏替换原则另一种相关的数据类型。也就是说，针对超类型元素进行操作的子程序、函数等程序元素，也可以操作相应的子类型。如果 S 是 T 的子类型，这种子类型二元关系通常写作 S <: T，意思是在任何需要使用 T 类型对象的环境中，都可以安全地使用 S 类型的对象。子类型的准确语义取决于具体的编程语言中“X 环境中，可以安全地使用 Y”的意义。编程语言的类型系统定义了各自不同的子类型关系。
在编程语言理论中，子类型是一种多态的形式。这种形式下，子类型可以里氏替换原则另一种相关的数据类型。也就是说，针对超类型元素进行操作的子程序、函数等程序元素，也可以操作相应的子类型。如果 S 是 T 的子类型，这种子类型二元关系通常写作 S <: T，意思是在任何需要使用 T 类型对象的环境中，都可以安全地使用 S 类型的对象。子类型的准确语义取决于具体的编程语言中“X 环境中，可以安全地使用 Y”的意义。编程语言的类型系统定义了各自不同的子类型关系。
在编程语言理论中，子类型是一种多态的形式。这种形式下，子类型可以里氏替换原则另一种相关的数据类型。也就是说，针对超类型元素进行操作的子程序、函数等程序元素，也可以操作相应的子类型。如果 S 是 T 的子类型，这种子类型二元关系通常写作 S <: T，意思是在任何需要使用 T 类型对象的环境中，都可以安全地使用 S 类型的对象。子类型的准确语义取决于具体的编程语言中“X 环境中，可以安全地使用 Y”的意义。编程语言的类型系统定义了各自不同的子类型关系。
，。界面泛指实体把自己提供给外界的一种抽象化物，用以由内部操作分离出外部沟通方法，使其能被修改内部而不影响外界其他实体与其互动的方式，就如物件导向程式设计提供的多态。界面可能也提供某种意义上的在讲不同语言的实体之间的翻译，诸如人类与电脑之间。因为界面是一种间接手段，所以相比起直接沟通，会引致些额外负担。
，。界面泛指实体把自己提供给外界的一种抽象化物，用以由内部操作分离出外部沟通方法，使其能被修改内部而不影响外界其他实体与其互动的方式，就如物件导向程式设计提供的多态。界面可能也提供某种意义上的在讲不同语言的实体之间的翻译，诸如人类与电脑之间。因为界面是一种间接手段，所以相比起直接沟通，会引致些额外负担。
Mini wiki
