1) simple type theory
简单类型理论
2) simple theory of types
简单类型论
3) Type theory
类型理论
1.
Describing and Verifying Web Service Using Type Theory;
类型理论在Web服务描述和验证方面的应用
4) the types of mental personality theories
理论类型
6) simple causal theory
简单因果理论
补充资料:简单类型
简单类型
primitive type
J一andan!eixing简单类型(primitive typ吧)其值不能进一步分解为更简单的值的类型。简单类型又称为基本类型或初等类型。 程序设计语言中简单类型的选择与该语言预期的应用领域有关,一般包括实型、主型、字符型和布尔型,它们往往是语言预定义的类型。实型值是实现定义的有理实数的一个子集,整数值是实现定义的整数的一个子集,字符型值是实现定义的一个字符集,布尔型的值可由字面常量或预定义的常量标识符false和true来定义。有些语言还允许用户自行定义简单类型,如在PA义{AL和Ada中,用户可自定义枚举类型和子域类型,枚举类型是由通过列举有限多个标识符来定义的,这里每一个标识符(枚举符号)即表示一个枚举值,子域类型是通过指定一个已有类型的子集来定义的。例如: T”姆color=(red,『(吧n,blue); sul〕=28…31 离散简单类型是其值与整型(或其一个子域)有一一对应关系的一种简单类型。在PA及二AL和Ada中,离散简单类型的值可以用于诸如计数、分支选择和数组下标中,而在其它语言中,仅整型可用于此类操作。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条