类型系统包含注释类型及其特征。
The type system contains information about annotation types and their features.
类型系统特定于领域和特定于应用程序。
类型系统的工作很多，同时也是最无趣的部分。
Most work is certainly the type system, and unfortunately it's also the least interesting part.
我们该如何扩展该类型系统，从而不必回避它呢？
How can we extend the type system so that we don't have to circumvent it?
类型系统自身并没有表现得能够捕获所有计划的不变量。
The type system by itself is not expressive enough to capture all of the intended invariants.
UIMA通过一个层级类型系统定义连接、输入和输出。
The connection, inputs, and outputs are defined by UIMA through a hierarchical type system.
约束机制可以是XML模式、类型系统甚至自定义的程序代码。
A constraint mechanism can be an XML schema, a type system, or even some custom programming code.
新规则中使用的注释类型必须成为uima类型系统的一部分。
The annotation types used in the new rules must exist as part of the UIMA type system.
Fan也使用静态类型系统——但只作为工具栏上的一个工具而已。
Fan USES a static type system also - but as just one tool in the toolbox.
我们会在《第12章-scala类型系统》详细讨论类型消除。
We'll discuss type erasure in more detail in Chapter 12, The Scala type System.
这个建模概念是高级成熟度级别“可消费的类型系统”能力的一部分。
This modeling concept is part of the Advanced maturity level "Consumable Type System" capability.
为此使用了XML架构的类型系统，并附加了一些额外的语法和寓意。
For this, the type system from XML Schemas was used and augmented with a bit of extra syntax and semantics. You can provide a data type by using the as attribute-for instance.
BI - ICS提供了声明业务信息与类型系统和过程相一致的能力。
BI-ICS provides the ability to declare that business information is conformant with type systems and processes.
这样，在你点击运行按钮之前，你就能确信你的代码符合类型系统的规则。
This way, before you hit the run button, you can be assured that your code is well-formed within the bounds of the type system.
openSCA规范目前支持使用以下接口类型系统来描述SCA接口。
The open SCA specifications currently support the following interface type systems for describing SCA interfaces.
在服务和流程中使用的消息和数据的模式同样也必须是这个类型系统的一部分。
The message and data schemas used in services and processes must also be part of this type system.
具体来说，类型系统为您提供了可能未预料到，但非常有用的错误捕捉可能性。
The type system in particular provides you with probably unintended but quite useful error-trapping possibilities.
我们会在《第12章-scala类型系统》学习更多有关结构类型的内容。
We'll learn more about structural types in Chapter 12, The Scala type System.
定义了“公共实体”模式的公共信息模型将成为这个类型系统中一个必不可少的部分。
The common information model that defines the schemas of the "common Entities" will be an essential part of this type system.
uima类型系统定义能够在文档中找到并且能够被分析引擎提取的各种对象的类型。
The UIMA type system defines the various types of objects that might be found in documents and that can be extracted by analysis engines.
这个类型系统起初开起来可能会有些恐怖，但是大多数时候你不用担心这些高级的结构。
The type system can be intimidating at first, but most of the time you won’t need to worry about the advanced constructs.
BI - ICS对于交替类型系统、处理机制以及一致性模型的扩展支持是可扩展的。
BI-ICS is extensible for extended support of alternate type systems, process mechanisms, and conformance models.
这就为类型系统设计提供了将空(null)对象映射为其对应的xml类型的灵活性。
This provides the flexibility in type system design to map null objects to their corresponding XML types.
通配符在类型系统中的作用部分来自其不会发生协变（covariant）这一特性。
The utility of wildcards in the type system comes partially from the fact that generic types are not covariant.
以这种方式进行擦除在类型系统中引入了缺陷，这些缺陷限制我们使用泛型类型的安全性。
Erasing in this manner introduces holes in the type system that limit how we can safely use generic types.
WSDL 2.0支持使用多种类型系统来描述消息内容，但是目前仅使用了XML模式。
WSDL 2.0 supports multiple type systems for describing the message content, but XML schema is the only one in use.
此外，SOA信息交换包括二进制信息，也可用特定的类型系统(如MIME)进行检查。
In addition, SOA information exchanges involve binary information, which can also be checked against a specific type system such as MIME.
CAS 将数据存储为有类型的结构，类型系统定义了类型以及类型之间的关系。
The CAS stores data as typed feature structures, and the typesystem defines the types and their inter-relations.
例如，你可能希望使用另外一种通用类型系统如服务数据对象(SDO)(参见参考资料)。
For example, you might want to use another generic type system such as Service Data Object (SDO) (see Resources).
还可以定义其他技术作为约束机制，如模式或类型系统，甚至可以定义自己的自定义约束解决方案。
You can also define other technologies as constraint mechanisms, such as schemas or type systems -- you can even define your own custom constraint solution.
应用推荐