Fan也使用静态类型系统——但只作为工具栏上的一个工具而已。
Fan USES a static type system also - but as just one tool in the toolbox.
注意通配符实际并不会怎么弱化静态类型系统，因为它通常和映射APIs（总是要求投射明确）一块出现。
Note the wildcard feature does not really weaken the static type system much, because it typically only kicks in with reflection APIs (which would have have required an explicit cast anyways)...
在系统内，静态结构通过显示类型和它们的实例进行传播。
Static structure is conveyed by showing the types and their instances in the system.
这就意味着您需要以这样的方式设计数据库系统，即将数据库表划分成两种类型——静态和动态——的模块化、最优化部分。
This means you need to design the database system in such a way that you divide the database tables into modularized and optimized partitions of two types — static and dynamic.
静态类型更适合用于构建中间件或操作系统的语言中。
Static typing often works well with languages for building middleware or operating systems.
静态类型的语言既可以有强类型，也可以有弱类型；而动态类型系统通常是强类型的，但也不完全是。
Statically typed languages can have strong or weak typing; dynamically typed systems are usually, though not exclusively, strongly typed.
这种方法适合声明类型系统并自从RPC时代就存在，而且我们发现它在现代静态类型语言中非常普遍，即‘接口（interface）’结构。
The approach is appropriate for declared type systems and has existed since RPCs, and we find it commonly in modern statically typed languages, namely the ‘interface’ construct.
Scala是静态类型的：scala配备了一套富有表现力的类型系统，该抽象概念以一种安全的和一致的方式被使用。
Scala is statically typed: Scala is equipped with an expressive type system that enforces statically that abstractions are used in a safe and coherent manner.
类型检查器应该能帮助程序员从这些类型的错误中恢复，但对于静态字段而言，类型系统实际上会使程序员更迷惑。
The type checker is supposed to help a programmer recover from exactly these sorts of mistakes, but in the case of static fields, the type system could actually help to confuse the programmer.
他们习惯于按照组成主流源和数据库系统静态数据类型化的最初设想来思考所有的语义。
They are accustomed to thinking of all semantics in terms of the primitive axioms that make up the static data typing of mainstream languages and database systems.
LPAR提供静态地隔离计算资源和在相同系统上运行相同或不同类型操作系统的能力。
An LPAR provides the capability to statically isolate compute resources and run independent operating systems of the same, or different, type on the same server.
多接口的缺点是，它招致了静态类型安全性的损失，因为接口只在运行时被选择，这使得系统更容易受到潜伏错误的伤害，即那些逃过测试的错误。
On the downside, multiple interfaces incur a loss of static type safety because interfaces are selected only at runtime, which makes the system more vulnerable to latent bugs that can escape testing.
通过对移动计算安全框架的分析，指出考虑安全性要求的扩展类型系统这一静态分析方法是解决移动计算安全性问题的有效方法之一。
It is an efficient way of combining the static analysis based on the security extended type system to solve the mobile computation security problems.
所使用的各种类型AGC系统，给出了各种干扰引起的静态和动态厚度误差补偿方法。
Also, the article introduces the AGC system applied and compensation of static and dynamic thickness errors that are caused by various interruptions.
系统在创建第一个类型实例或引用任何静态成员之前调用静态构造函数。
The system calls the static constructor before the first instance of the type is created or any static members are referenced.
首先分析了操作系统中客体的类型，将客体分为静态客体和动态客体，然后总结了安全操作系统中对客体的处理存在的问题。
The mechanism of buffer overflow from the point of view of security operating system is analyzed, buffer overflow with BLP model is formalized.
首先分析了操作系统中客体的类型，将客体分为静态客体和动态客体，然后总结了安全操作系统中对客体的处理存在的问题。
The mechanism of buffer overflow from the point of view of security operating system is analyzed, buffer overflow with BLP model is formalized.
应用推荐