类型系统包含注释类型及其特征。
The type system contains information about annotation types and their features.
图3显示了完整的类型系统。
然而，所述方法仅使用基本类型系统。
However, the methods described use only the basic type system.
遵循以下步骤创建类型系统。
高级类型系统包括以下内容。
Lua的类型系统非常简单，但很灵活。
类型系统特定于领域和特定于应用程序。
它还可以用一个类型系统描述有效负载数据。
类型系统的工作很多，同时也是最无趣的部分。
Most work is certainly the type system, and unfortunately it's also the least interesting part.
一个仅当你需要的时候才出现的优秀的类型系统。
An excellent type system that's only there when you need it.
我们该如何扩展该类型系统，从而不必回避它呢？
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.
这个jam特性是保护类型系统的稳固性所必不可少的。
This Jam idiosyncrasy is necessary to preserve the soundness of the 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.
将XML类型系统映射为原生语言的类型系统有两方面的劣势。
Mapping the XML type system to the native language type system has two disadvantages.
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.
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.
应用推荐