Other than a small part of the kernel, the bulk of Singularity is written in the type-safe language Sing#.
相对于只用于一小部分内核，Singularity的一大部分都是用类型安全的Sing#来编写的。
Role-play allows students to practise language in a safe situation.
角色扮演可以使学生练习语言，说错了也没关系。
You can then specify the Safe search level, set your location, choose your language, and choose the number of search results to display on a page.
你就可以指定安全搜索级别、设置自己的位置，选择自己的语言以及选择每页显示的搜素结果数量。
Thankfully, it's usually safe to assume that users don't want the displayed language to change while they're working with the application.
但是谢天谢地，通常可以肯定地假设在使用应用程序期间，用户不会改变显示语言。
Boogie is used to verify the assembly language against a specification and guarantees safe interaction with the TAL code and hardware.
它还使用Boogie根据规范来验证汇编语言，并确保它可以与TAL代码和硬件安全地交互。
Scala is a modern multi-paradigm programming language designed to express common programming patterns in a concise, elegant, and type-safe way.
Scala是一门现代的多范式编程语言，志在以简练、优雅及类型安全的方式来表达常用编程模式。
Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way.
Scala是一种通用编程语言，它以简洁、优雅且类型安全的方式表达常用的编程模式。
Make lots of DigiPal friends in this brilliant - and safe - online English Language Learning community.
在这个安全又超炫的网上英语学习社区里你能交到更多的网络朋友。
If you want to get the most money out of your language course, studying one of the languages listed above is probably a safe bet.
你若是想靠你的语言课尽可能多赚钱，学习上述语言中一门会是稳赚不赔的生意。
CONCLUSIONS: Intraoperative cortical electrical stimulation is an accurate and safe approach to identification of the language cortex.
结论：术中皮层电刺激是一种准确、安全的辨别语言皮层的方法。
In this sense, it might be safe to assert that language functions, to a great extent, determine the achievement of communicative functions of advertising.
从这个意义上说，语言功能在很大程度上决定印刷广告交际功能的实现。
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.
由于公共语言运行时能够验证代码是否为类型安全的代码，所以它可以提供与进程边界一样大的隔离级别，而其性能开销则要低得多。
To determine whether the language compiler you use generates verifiably type-safe code, consult the compiler's documentation.
若要确定所使用的语言编译器是否生成可验证为类型安全的代码，请参见编译器的文档。
Using VHDL language 4* 4 keyboard scanning procedures, tested, safe to use.
说明：利用VHDL语言编写的4*4键盘扫描程序，经过测试，可以放心使用。
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 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)。
应用推荐