Sitebricks does not compromise type safety or performance.
Sitebricks不会破坏类型安全或性能。
The usual benefits of type safety as enabled by service contracts.
常见的类型安全好处都是通过服务协约实现的。
We both shared a dislike of macros and a liking for type safety.
我们都讨厌宏而喜欢类型安全。
The developer would need to ensure type safety and handle high-level types manually.
开发人员需要确保类型安全，并且需要手动处理高级类型。
The other verification that we rely on (C# type safety and channel contracts) have been very useful.
另一个我们所依赖的验证（C#类型安全和通道契约）也是非常有用的。
NET SDK, you can determine whether the IL code and associated metadata meet type safety requirements.
NETSDK，你可以决定的IL代码和相关元数据是否满足类型安全要求。
However, because of generics, the compiler now throws warnings when collections are used without type safety.
然而，因为泛型，当使用集合而没有类型安全时，编译器将抛出警告。
Additionally, while not protected by a permission, memory access must be confined to strict type safety.
此外，在没有权限保护时，内存访问必须遵循严格的类型安全。
It's implemented as a singleton to maintain some semblance of type safety that is completely non-existent.
大致意思是：作为一个单例类保持这种完全不存在的安全类型的表象。
Each business rule group supports the operation signatures defined in a provided interface, thus enabling type safety.
每个业务规则组均支持在提供的接口中定义的操作，从而实现了类型安全。
Furthermore, due to a novel approach to bytecode verification, we're also able to ensure runtime type safety of the compiled code.
此外，由于采用了新的方式对字节码进行校验，我们还能确保编译的代码在运行时的类型安全。
While Verve is written in C# for convenient automatic compilation to TAL, a second check is still performed to verify type safety.
尽管为了便于自动编译成TAL，Verve是由C#编写的，但它还是执行了二次检查来验证类型安全性。
Essentially, type safety means that a program cannot perform an operation on an object unless that operation is valid for that object.
本质上，类型安全性意味着，除非程序的操作对于类型是合法的，否则就无法在对象上执行操作。
This means that managed code can consume other managed types and instances, while strictly enforcing type fidelity and type safety.
这意味着托管代码可在严格实施类型保真和类型安全的同时使用其他托管类型和实例。
The self-description is the key to program model simplification, multi-language integration, type safety and solving version conflict.
这种特性对于简化编程模型、提供多语言集成、实现类型安全和解决版本冲突等许多方面都具有重要的意义。
Rails is surprisingly dynamic and, therefore, was built on a programming language (Ruby) that does not require rigid constructs and type safety.
Rails的动态性让我们惊叹，它是在不需要严格的构造和类型安全性的编程语言(Ruby)的基础上构建的。
You can then treat each named value as an instance of that class, providing you with compile-time type safety that a named set of integers can't.
然后，可以将每个指定的值看作是那个类的一个实例，这为您提供了指定的整数集合所无法提供的编译时类型安全。
The type safety allowed compile-time resolution of some things that C-style libraries resolve at run-time, thus giving excellent performance.
类型安全允许一些原本在C风格库中需要在运行时决定的事，可在编译时决定，因而提供了非凡的性能。
Lever-type safety valve lever to rely mainly on the weight of the work force, but the lever-type safety valve size often limit the choice of scope.
杠杆式安全阀主要依靠杠杆重锤的作用力而工作，但由于杠杆式安全阀体积庞大往往限制了选用范围。
That contract does not allow this method to throw a run-time exception (barring violations of generic type safety that qualify as bugs in the calling code).
这个合约不允许该方法抛出运行时异常(防止因违反泛型类型安全而成为调用代码中的bug)。
Although verification of type safety is not mandatory to run managed code, type safety plays a crucial role in assembly isolation and security enforcement.
尽管类型安全验证对于运行托管代码不是强制的，但类型安全在程序集隔离和安全性强制中起着至关重要的作用。
By allowing you to specify types that are acted on by a generic class or method, the generics feature shifts the burden of type safety from you to the compiler.
通过允许指定泛型类或方法操作的类型，泛型功能将类型安全的任务从您转移给了编译器。
In the light of the disadvantages and limitation of the existing unscrewing type or shearing type safety joints, a hydraulic sleeve type safety joint is designed.
针对现有倒扣式和剪断式安全接头结构上的局限性和缺陷，设计了液压滑套式安全接头。
Analysing traditional mechanical type safety surveillance system of tower crane, this paper put forward a new type tower crane safety surveillance system based on MCU.
对塔机传统机械式安全系统的分析，提出了以单片机为核心的新型塔机安全监控系统。
The first operating system mechanically verified to ensure type safety including each assembly language instruction that runs after booting which is statically verified.
它是第一个能够从机制上验证以保证安全性的操作系统，其中包括的所有汇编语言指令都在启动时经过了静态验证，然后才会运行。
This means that all program elements have a definite type at compile time, guaranteeing type safety, but that you do not have to specify the types of every value explicitly.
这意味着，所有程序元素的类型在编译时都要明确，从而确保类型安全，但您不需要显式指定每个值的类型。
i.e.: A question to be answered: will the developers prefer to use Hibernate-style Criteria throug Strings, or will they use the newly created StaticMetaModel approach for type safety?
也就是必须要回答一个问题：开发者们会喜欢通过String来使用Hibernate风格的Criteria，还是愿意使用新创建的 StaticMetaModel方式来保证类型安全？
Type safety is sadly missing from JDBC's approach to accessing SQL, by the way, because it is a call-level interface and is thus restricted to strings that can only be checked at runtime.
很不幸的是，JDBC 的访问SQL的方法丢失了类型安全，因为这是一个调用级别的接口，因此它限制只有在运行时才能检查字符串。
Another consequence of erasure is that using casts or instanceof with generic type parameters doesn't make any sense. The following code will not improve the type safety of your code at all.
擦除的另一个后果是，对泛型类型参数是用强制类型转换或者instance of毫无意义。
Some say they simplify programming by extending the reach of the type system and therefore the compiler's ability to verify type safety; others say that they add more complexity than they're worth.
一部分人认为泛型简化了编程，扩展了类型系统从而使编译器能够检验类型安全；另外一些人认为泛型添加了很多不必要的复杂性。
应用推荐