的类型系统 - 翻译成英语

• type system
• type systems
• typing system

在 中文 中使用 的类型系统 的示例及其翻译为 英语

它的发明是在1965年，那时我用一个面向对象语言(ALGOLW)设计了第一个全面的引用类型系统。
In 1965, I was designing the first comprehensive type system for references in an object oriented language(ALGOL W).

为了增进管理者以及员工的相互了解，许多公司的教育工具利用精简的类型系统来描述各方的性格。
To help managers and employees understand each other, many corporate-education tools use simplified typing systems to describe each party's makeup.

这个长期等待的类型系统增强使得类型或方法可以在各种类型的对象上操作，同时提供编译时类型安全。
This long-awaited enhancement to the type system allows a type or method to operate on objects of various types while providing compile-time type safety.

我不使用TypeScript，但由于它的类型系统，它获得一些非常棒的特性。
I don't use TypeScript, but as type systems go, it's got some great features.

为语言互操作性提供支持的类型系统，称为公共类型系统（CommonTypeSystem，CTS）。
A type system that supports language interoperability, known as the Common Type System(CTS).

出于同样的原因，Flow的类型系统是一个相对简单的Hindley-Milner，没有Monad或类型类。
For the same reason, the type system of flow is a relatively simple Hindley-Milner without monads or type classes.

Kotlin的类型系统能在集合上做可变和不可变视图的区分。
The type system of Kotlin allows you to distinguish between mutable and immutable collections.

这是一个简单的课程，用于(功能)编程语言的类型系统。
Is a simpler course on type system for(functional) programming languages.

RDFSchema类型系统在某些方面类似于Java这样的面向对象编程语言的类型系统。
The RDF Schema type system is similar in some respects to the type systems of object-oriented programming languages such as Java.

RDFSchema类型系统在某些方面类似于Java这样的面向对象编程语言的类型系统。
(P91) The RDF Schema type system is similar to the type systems of object-oriented programming languages such as Java.

Julia设计的独特之处包括，参数多态的类型系统，完全动态语言中的类型，以及它多分派的核心编程范型。
Distinctive aspects of Julia's design include a type system with parametric polymorphism and types in a fully dynamic programming language and multiple dispatch as its core programming paradigm.

而事实上，null这个概念不是一个错误，出错的是Java的类型系统--后者将null视为所有类型的成员。
The truth is that the concept of null is not mistake, but Java's type-system, that considers null to be a member of every type, is.

统一的类型系统.
Unified type system.

Java最初的类型系统.
Java's original type system.

C使用统一的类型系统。
C has a unified type system.

参考语言：Haskell中的类型系统.
Implementing languages in the Haskell type system.

因为Java的类型系统就是不安全的。
Java's type system is weak.

我之前就设想过这样的类型系统。
I did think about this type of system.

我之前就设想过这样的类型系统。
I have hypothesized about such a type system previously.

Rust有一个强壮的、静态的类型系统。
Rust has a strong, static type system.