What is the translation of " TYPE INFERENCE " in Chinese?

• 类型推断
• 类型推论
• type inference

Examples of using Type inference in English and their translations into Chinese

Hindley- Milner type inference algorithm.
Hindley-Milner类型推论算法.

But it is also just possible that he had in mind to develop some form of type inference.
但是也有可能他想要开发某种形式的类型推论。

Instead, its powerful type inference will figure them out for you.
相反,其强大的类型推断将为你计算出来。

Explicitly marking the value of n is even and odd is necessary to help type inference.
显式地标出n是奇数还是偶数对于类型推断来说是必须的。

Wells's result implies that type inference for System F is impossible.
Wells的结果暗含着系统F的类型推论是不可能的。

Java 10 introduced a new shiny language feature called local variable type inference.
Java10引进一种新的闪闪发光的特性叫做局部变量类型推断。

Type Inference is not a new Concept in JAVA but it is a new concept for local variables.
虽然类型推断在Java中不是一个新概念，但对于局部变量来说却是全新的。

One of them is Local-Variable Type Inference(JEP 286).
其中之一是局部变量类型推断（JEP286）。

Type inference is supported, so you don't have to write all the types from the beginning.
类型推断受到支持，因此你不必从一开始就编写所有的类型。

With Java 10 a new feature was introduced to the language: local variable type inference.
介绍Java10引入了一个闪亮的新功能：局部变量类型推断。

Similar features include type inference, type checking, inert evaluation, and so on.
类似的特性还包括类型推导，类型检查，惰性求值，如此等等。

Type inference is particularly useful when you declare a constant or variable with an initial value.
类型推断在你声明常量或变量的同时提供初始值时尤其有用。

Java 10 introduced a new shiny language feature called local variable type inference.
Java10带来了全新的语言特性：局部变量类型推导（localvariabletypeinference）。

The type system is simple, but still supports type inference, subtyping and dynamic typing..
类型系统很简单，但是仍然支持类型推断、子类型和动态类型。

Type inference tells us that the return type is the same as the type of the first component.
类型推断机制告诉我们返回值得类型与第一个元件的类型相同。

Even better, the compiler will use type inference to decide what value of T was meant when calling max().
更好的是，编译器将使用类型推理来确定当调用max()时T的值表示什么意思。

With Java 10 a new feature was introduced to the language: local variable type inference.
Java10带来了全新的语言特性：局部变量类型推导（localvariabletypeinference）。

This is an enhancement to Java's type inference capabilities that may prove to be more significant than it first appears.
这是对Java类型推断功能的增强，该特性已被证明比它刚刚出现的时候更为重要。

TypeScript 2.1 was released in late 2016, bringing async/await for old browsers and improved type inference.
TypeScript2.1于2016年年底发布，为旧浏览器带来了异步/等待，并改进了类型推断。

Since version 2, Groovy can be compiled statically, offering type inference and performance near that of Java.
从版本2开始，Groovy也可以静态编译，提供类型推论和Java相近的性能。

TypeScript 2.1 was released in late 2016, bringing async/await for old browsers and improved type inference.
TypeScript2.1于2016年年底发布，为旧浏览器带来了async/await，并改进了类型推断。

Dart supports type inference, so it's not necessary to include type boilerplate every time you declare a variable or a function.
Dart支持类型推断，因此没有必要在每次声明变量或函数时都包含类型样板。

Because it's strongly-typed, you never have to define types for variables because they're already defined by type inference.
因为它是强类型的，所以您永远不必为变量定义类型，因为它们已经由类型推断定义。

Additionally, using the type inference mechanism, if a variable is declared without a type, it will be inferred based on its value.
此外，使用类型推断机制，如果声明的变量没有类型，那么将根据其值进行推断。

Refactoring of large projects gets very hard and error-prone because in most cases, the static analysis and type inference are impossible.
对大型项目进行代码重构变得很难而且容易出错，原因是在大多数情况下进行静态分析和类型推断是不可能的。

Java SE 10(March 2018) introduced type inference for local variables, one of the most frequently requested features for Java in recent.
JavaSE10（2018年3月）引入了局部变量的类型推断，这是最近Java最常被要求的特性之一。

Go has type inference, from literal values or from function return values, so you don't need to restate types that the compiler should know about.
Go有类型推断，从文本值或函数返回值，所以你不需要声明编译器能识别的类型。

Julia features optional typing, multiple dispatch, and good performance, achieved using type inference and just-in-time(JIT) compilation, implemented using LLVM.
Julia的特点是可选类型、多分派和良好的性能，使用类型推断和即时(JIT)编译实现，使用LLVM实现。

In particular, JDK 10 promises to introduce type inference mechanism for local variable instantiation and consolidate the existing JDK repositories into a single Mercurial repository.
特别是JDK10为局部变量实例化引入类型推断机制，并将现有的JDK存储库合并到一个Mercurial存储库中。