...实现，而 类型的本质是由操作(Operation)和操作间的关系或不变式(Invariant)所定义的 ，我们称之为类型规范(Type Specification)。比如，Pair类型是这样定义的：
基于12个网页-相关网页
document type specification 文件型别规格 ; 文件型态定义
data type specification [计] 数据类型说明
Technical Type Specification Form 技术型号规格表
performance type specification 性能型号说明书
Attribute Type Specification 属性类型规范
file type specification 档案型规格
informal type specification 非正式类型规格
object type specification 对象类型规范
Type specification complete, the quality is reliable.
种类规格齐全，质量可靠。
GDB could not parse a type specification output by the compiler.
GDB不能分析编译器产生的某种类型的说明。
It is also failing to tell you that it expects each node in the encoded graph you send it to be instrumented with a type specification.
它还未能告诉您它期望用一个类型规范对您发送给它的已编码的图中的每个节点进行检测。
应用推荐