Other than a small part of the kernel, the bulk of Singularity is written in the type-safe language Sing#.
相对于只用于一小部分内核，Singularity的一大部分都是用类型安全的Sing#来编写的。
Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way.
Scala是一种通用编程语言，它以简洁、优雅且类型安全的方式表达常用的编程模式。
Scala is a modern multi-paradigm programming language designed to express common programming patterns in a concise, elegant, and type-safe way.
Scala是一门现代的多范式编程语言，志在以简练、优雅及类型安全的方式来表达常用编程模式。
To determine whether the language compiler you use generates verifiably type-safe code, consult the compiler's documentation.
若要确定所使用的语言编译器是否生成可验证为类型安全的代码，请参见编译器的文档。
The common language runtime (CLR) provides a type-safe environment for code to run in, with code access security (CAS) to restrict further the permissions of managed code.
公共语言运行库(CLR)提供了供代码在其中运行的类型安全环境，以及用于进一步限制托管代码权限的代码访问安全性(CAS)。
The ability to verify code as type-safe enables the common language runtime to provide as great a level of isolation as the process boundary, at a much lower performance cost.
由于公共语言运行时能够验证代码是否为类型安全的代码，所以它可以提供与进程边界一样大的隔离级别，而其性能开销则要低得多。
The ability to verify code as type-safe enables the common language runtime to provide as great a level of isolation as the process boundary, at a much lower performance cost.
由于公共语言运行时能够验证代码是否为类型安全的代码，所以它可以提供与进程边界一样大的隔离级别，而其性能开销则要低得多。
应用推荐