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.
结论：术中皮层电刺激是一种准确、安全的辨别语言皮层的方法。
While the increasingly WSN applications needed, how to provide good programming language and programming model to build safe, reliable and easy to maintain application is a urgent problem to resolve.
随着应用的越来越广泛，如何提供良好的节点应用程序编程语言和编程模型以构建安全可靠易维护的应用程序是迫切需要解决的问题。
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)。
My English says is not good, I use the simplest national language to wish you with the most reverent heart: the safe health joyful is more beautiful!
我的英语讲的不好，我用最朴实的国语用最虔诚的心祝愿你：平安健康快乐更美丽！
My English says is not good, I use the simplest national language to wish you with the most reverent heart: the safe health joyful is more beautiful!
我的英语讲的不好，我用最朴实的国语用最虔诚的心祝愿你：平安健康快乐更美丽！
应用推荐