可识别联合从概念上说有许多同义词：拆解联合（disjoint union），可变类型（variant type），或者代数类型（algebraic type），不管你怎么叫它们，可识别联合作为数据抽象在各种应用中正变得非常有用。
基于12个网页-相关网页
In essence, the goal here is to create a small language that allows users to type in relatively simple algebraic expressions that this code will evaluate and produce a result.
其实，这里的目标是要创建一个小型语言，这个语言能够允许用户来输入相对简单的代数表达式，然后这个代码来为它求值并产生结果。
This is a different usage than in this article. For more information, see algebraic data type.
这是一种不同的用途比本文讨论可疑为更多的信息，参见代数的数据类型。
In analogy to algebraic data type theory, this paper proposed the mathematical model of objects, object types and abstract object types.
类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。
应用推荐