How can we extend the type system so that we don't have to circumvent it?
我们该如何扩展该类型系统，从而不必回避它呢？
Fan USES a static type system also - but as just one tool in the toolbox.
Fan也使用静态类型系统——但只作为工具栏上的一个工具而已。
We'll learn more about structural types in Chapter 12, The Scala type System.
我们会在《第12章-scala类型系统》学习更多有关结构类型的内容。
The type system contains information about annotation types and their features.
类型系统包含注释类型及其特征。
We'll discuss type erasure in more detail in Chapter 12, The Scala type System.
我们会在《第12章-scala类型系统》详细讨论类型消除。
The annotation types used in the new rules must exist as part of the UIMA type system.
新规则中使用的注释类型必须成为uima类型系统的一部分。
The connection, inputs, and outputs are defined by UIMA through a hierarchical type system.
UIMA通过一个层级类型系统定义连接、输入和输出。
The type system by itself is not expressive enough to capture all of the intended invariants.
类型系统自身并没有表现得能够捕获所有计划的不变量。
Most work is certainly the type system, and unfortunately it's also the least interesting part.
类型系统的工作很多，同时也是最无趣的部分。
This modeling concept is part of the Advanced maturity level "Consumable Type System" capability.
这个建模概念是高级成熟度级别“可消费的类型系统”能力的一部分。
A constraint mechanism can be an XML schema, a type system, or even some custom programming code.
约束机制可以是XML模式、类型系统甚至自定义的程序代码。
The message and data schemas used in services and processes must also be part of this type system.
在服务和流程中使用的消息和数据的模式同样也必须是这个类型系统的一部分。
The first of these is to use the SOAP WSDL binding with XML Schema as the type system with literal usage.
这些技术中的第一个是使用利用了XMLSchema 的SOAPWSDL绑定作为文字使用的类型系统。
This provides the flexibility in type system design to map null objects to their corresponding XML types.
这就为类型系统设计提供了将空(null)对象映射为其对应的xml类型的灵活性。
To understand most of the methods described in this article, you must understand the XSLT v2 type system.
为了理解本文中描述的大多数方法，您必须理解XSLTv 2类型系统。
Erasing in this manner introduces holes in the type system that limit how we can safely use generic types.
以这种方式进行擦除在类型系统中引入了缺陷，这些缺陷限制我们使用泛型类型的安全性。
The utility of wildcards in the type system comes partially from the fact that generic types are not covariant.
通配符在类型系统中的作用部分来自其不会发生协变（covariant）这一特性。
For example, you might want to use another generic type system such as Service Data Object (SDO) (see Resources).
例如，你可能希望使用另外一种通用类型系统如服务数据对象(SDO)(参见参考资料)。
The type system in particular provides you with probably unintended but quite useful error-trapping possibilities.
具体来说，类型系统为您提供了可能未预料到，但非常有用的错误捕捉可能性。
The type system can be intimidating at first, but most of the time you won’t need to worry about the advanced constructs.
这个类型系统起初开起来可能会有些恐怖，但是大多数时候你不用担心这些高级的结构。
The common information model that defines the schemas of the "common Entities" will be an essential part of this type system.
定义了“公共实体”模式的公共信息模型将成为这个类型系统中一个必不可少的部分。
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.
这样，在你点击运行按钮之前，你就能确信你的代码符合类型系统的规则。
Gilad Bracha reopens an old debate about language design, specifically can a language be OO and enforce a primitive type system?
GiladBracha重新挑起了一场有关编程语言设计的争论，特别是一门编程语言可以兼顾面向对象思想和原生数据类型吗？
These give us, respectively, an interface definition language, a wire format, and a type system, all of which are platform neutral.
它们分别为我们提供了一种接口定义语言、一种有线格式(wire format)和一个类型系统，所有这些都是与平台无关的。
I explained how the JAX-RPC standard defines this feature and some of the important points on designing an interoperable type system.
我解释了JAX - RPC标准怎样定义该功能，以及关于如何设计互操作类型系统的一些要点。
The UIMA type system defines the various types of objects that might be found in documents and that can be extracted by analysis engines.
uima类型系统定义能够在文档中找到并且能够被分析引擎提取的各种对象的类型。
In addition, SOA information exchanges involve binary information, which can also be checked against a specific type system such as MIME.
此外，SOA信息交换包括二进制信息，也可用特定的类型系统(如MIME)进行检查。
Wildcards play an important role in the type system; they provide a useful type bound for the family of types specified by a generic class.
通配符在类型系统中具有重要的意义，它们为一个泛型类所指定的类型集合提供了一个有用的类型范围。
Wildcards play an important role in the type system; they provide a useful type bound for the family of types specified by a generic class.
通配符在类型系统中具有重要的意义，它们为一个泛型类所指定的类型集合提供了一个有用的类型范围。
应用推荐