What is the translation of " 类型安全 " in English?

• type safety
• type safe
• type-safe
• type-safety

Examples of using 类型安全 in Chinese and their translations into English

托管代码的一个主要优点就是类型安全。
One of the major benefits of managed code is type safety.

Printf不是类型安全的函数。
Printf is not type safe.

Swift是一门类型安全的语言。
Swift is a type safe language.

但是，委托是类型安全和可靠的。
However, delegates are type-safe and secure.

C比C++更加类型安全。
C is more type safe than C++.

VisualC是简单，功能强大，类型安全，面向对象的。
Visual C is simple, powerful, type-safe, and object-oriented.

保留现有的安全保证，包括类型安全。
Preserve existing safety guarantees, including type-safety.

可选项充分证明了Swift是一门类型安全的语言。
Optionals are an example of the fact that Swift is a type safe language.

任意类型让Swift成为了一门类型安全的语言。
Optionals are an example of the fact that Swift is a type safe language.

它还强制实施类型安全。
It also enforces the type safety.

Modula-3旨在继续pascl类型安全的传统，同时引入实际编程的新构建。
Modula-3 aimed to continue the Pascal tradition of type safety, while introducing new constructs for practical real-world programming.

增进类型安全，提供对现行不安全的技术更安全的替代方案；.
Increase type safety by providing safer alternatives to current, unsafe techniques;

类型安全的语言可以让你清楚地知道代码要处理的值的类型。
A type safe language encourages you to be clear about the types of values your code can work with.

比如说，Singularity使用类型安全的语言和抽象指令集使我们能够访问软件独立进程（SIPs）。
For example, Singularity uses type-safe languages and an abstract instruction set to enable what we call Software Isolated Processes(SIPs).

TypeScript是JavaScript的一个超集，增加了类型安全、访问修饰符（私有的和公共的）和下一版JavaScript的新特性。
TypeScript is superset of JavaScript that adds type safety, access modifiers(private and public), and newer features from the next JavaScript specification.

例如，类型安全代码不能从其他对象的私有字段读取值。
For example, type-safe code cannot read values from another object's private fields.

NET函数式编程语言，既提供了类型安全又容易编写代码，也同时保证了执行性能。
NET functional programming language that provides both type-safety and the ease scripting while still able to deliver performance.

要想使容器高效而且类型安全，我们需要用到模板，而直到1988或1989年我才得到一个支持模板的编译器。
To get efficiency and type safety for containers, you need templates(and I didn't have an implementation supporting templates until 1988 or 1989).

它使得API类型安全，使得SQL语句组织的很好（它尝试使其更容易些，同时不会太重）。
It makes the APIs type safe, it makes organizing the SQL statements good(tries to make it easier without being too heavy).

Swift数组是类型安全的，它总是知道它能存储什么值。
Swift arrays are type safe, and are always clear about what they may contain.

类型安全-像是JSON这样的可交换格式通常都是弱类型，而你的代码应该要使用强类型数据。
Type safety- Interchange formats such as JSON are often weakly typed, whereas your code should work with strongly typed data structures.

这样，JIT编译器就可以确保方法参数的正确性，实施类型安全检查，甚至执行类型特定的IntelliSense。
This way the client compiler can enforce correct method parameters, type-safety checks, and even type-specific IntelliSense.

委托（delegate）是一种类型安全的函数指针，用于通用语言运行库(CLI)。
A delegate is a form of type-safe function pointer used by the Common Language Infrastructure(CLI).

类型安全、内省、生成文档和可预测的响应都为我们平台的维护者和消费者带来了好处。
Type safety, introspection, generated documentation, and predictable responses benefit both the maintainers and consumers of our platform.

它们还可以作为半结构化格式（例如JSON）和类型安全语言（如Java和Scala）之间的桥梁。
They also serve as a powerful bridge between semi-structured formats(e.g. JSON) and type-safe languages like Java and Scala.

简单,快速,类型安全,利用JavaScript和OCaml生态系统的库.
Simple, fast& type safe code that leverages the JavaScript& OCaml ecosystems.

有些人可能会认为类型安全仅仅是额外福利，但对我来说，typefulness是软件可靠和安全的关键组成部分）。
(Some might consider type safety a mere bonus, but to me, typefulness is a crucial building block for reliable and safe software.).

如果你想要“类型安全”分配，我可以推荐以下宏函数，我总是在我的C项目中使用它们：.
If you want"type safe" allocation, I can recommend the following macro functions, which I always use in my C projects:.

与C或C++中的函数指针不同，委托是面向对象、类型安全的，并且是安全的。
Unlike function pointers in C or C++, delegates are object-oriented, type-safe, and secure.