ML,是一个函数式编程语言、指令式编程语言的通用编程语言的编程语言,它著称于使用了多态的类型推论。ML能自动的指定多数表达式的数据类型,不要求显式的类型标注,而且能够确保类型安全,已经正式证明了有良好类型的ML程序不会导致运行时间类型错误。
在编程语言和类型论中,多态指为不同数据类型的实体提供统一的界面,或使用一个单一的符号来表示多个不同的类型。
在编程语言和类型论中,多态指为不同数据类型的实体提供统一的界面,或使用一个单一的符号来表示多个不同的类型。
类型推论、类型推导、型别推断、或隐含类型,是指编程语言中在编译期自动推导出值的数据类型的能力,它是一些强静态类型语言的特性。一般而言,函数式编程语言具有此特性。自动推断类型的能力让很多编程任务变得容易,让程序员可以忽略类型标注的同时仍然允许类型检查。
在编程语言理论中,子类型是一种多态的形式。这种形式下,子类型可以里氏替换原则另一种相关的数据类型。也就是说,针对超类型元素进行操作的子程序、函数等程序元素,也可以操作相应的子类型。如果 S 是 T 的子类型,这种子类型二元关系通常写作 S <: T,意思是在任何需要使用 T 类型对象的环境中,都可以安全地使用 S 类型的对象。子类型的准确语义取决于具体的编程语言中“X 环境中,可以安全地使用 Y”的意义。编程语言的类型系统定义了各自不同的子类型关系。
着色器语言也叫着色语言,是一类专门用来为着色器编程的编程语言。这类语言使用“颜色”“法线”等特殊的数据类型。由于三维计算机图形目标市场的多元化,不同的目标市场通常使用不同的着色器语言。
,,在数据库系统中是形式语言描述的一种结构,是对象的集合,可包含各种对象如:数据库表、字段、关系模型、视图、数据库索引、软件包管理系统、存储过程、子程序、队列、触发器、数据类型、序列、物化视图、同义词、database link、目录、XML Schema 语言等。
在程式语言理论中,惰性求值,又译为惰性计算、懒惰求值,也称为传需求调用,是一个计算机编程中的一个概念,目的是要最小化计算机要做的工作。惰性计算的最重要的好处是它可以在空间复杂度上得到极大的优化,从而可以轻易构造一个无限大的数据类型。
,,在数据库系统中是形式语言描述的一种结构,是对象的集合,可包含各种对象如:数据库表、字段、关系模型、视图、数据库索引、软件包管理系统、存储过程、子程序、队列、触发器、数据类型、序列、物化视图、同义词、database link、目录、XML Schema 语言等。
抽象资料型别是计算机科学中具有类似行为的特定类别的数据结构的数学模型;或者具有类似语义的一种或多种程序设计语言的数据类型。抽象数据类型是间接定义的,通过其上的可执行的操作以及这些操作的效果的数学约束。