类型推断 in English translation

类型系统很简单，但是仍然支持类型推断、子类型和动态类型。

The type system is simple, but still supports type inference, subtyping and dynamic typing..

此外，它还包含了用于类型推断（TypeInference）的可扩展算法，用于判断变量和函数的类型。

It also includes extensible algorithms for type inference, that permit to figure out the types of variables and functions.

类型是可选的，类型推断让一些类型的注释使你的代码的静态验证有很大的不同。

Types are optional, and type inference allows a few type annotations to make a big difference to the static verification of your code.

JavaSE10（2018年3月）引入了局部变量的类型推断，这是最近Java最常被要求的特性之一。

Java SE 10(March 2018) introduced type inference for local variables, one of the most frequently requested features for Java in recent.

在下面的小例子中，Dart2的类型推断有助于发现一些微小的错误，并因此帮助提高整体代码质量。

In the small example below, Dart 2's type inference helps uncover a somewhat subtle error and as result, helps improve overall code quality.

此次更新包含以下12个新特性：JEP286：局部变量类型推断JEP317：实验性的基于Java的JIT编译器。

Among these features were: JEP 286: Local-variable type inference JEP 317: Experimental Java-based JIT compiler.

对大型项目进行代码重构变得很难而且容易出错，原因是在大多数情况下进行静态分析和类型推断是不可能的。

Refactoring of large projects gets very hard and error-prone because in most cases, the static analysis and type inference are impossible.

特别是JDK10为局部变量实例化引入类型推断机制，并将现有的JDK存储库合并到一个Mercurial存储库中。

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.

局部变量类型推断，用于增强语言以将类型推断扩展到局部变量。

A local-variable type inference to enhance the language to extend type inference to local variables.

其它的，如Haskell，则进行类型推断：编译器根据编写者如何运用这些变量，以草拟出关于这个变量的类型的结论。

Others, such as Haskell's, perform type inference: the compiler draws conclusions about the types of variables based on how programmers use those variables.

作为一种强类型语言，你可以在灵活的类型系统中获取局部类型推断的好处。

As a strongly typed language, you get the benefits of a flexible type system with partial type inference.

Julia的特性包括可选的输入，多重分派（Multipledispatch）和优异性能，实现了使用类型推断和JIT（just-in-time）编译，使用LLVM执行。

Julia features optional typing, multiple dispatch, and good performance, achieved using type inference and just-in-time(JIT) compilation, implemented using LLVM.

因为它是强类型的，所以您永远不必为变量定义类型，因为它们已经由类型推断定义。

Because it's strongly-typed, you never have to define types for variables because they're already defined by type inference.

Julia的特点是可选类型、多分派和良好的性能，使用类型推断和即时(JIT)编译实现，使用LLVM实现。

Julia features optional typing, multiple dispatch, and good performance, achieved using type inference and just-in-time(JIT) compilation, implemented using LLVM.

它是一种实用的语言，具有可以利用类型推断的静态类型，但在需要时也支持动态类型。

It is a practical language, which is statically typed with type inference, but also supports dynamic typing when required.

此外，使用类型推断机制，如果声明的变量没有类型，那么将根据其值进行推断。

Additionally, using the type inference mechanism, if a variable is declared without a type, it will be inferred based on its value.

Dart支持类型推断，因此没有必要在每次声明变量或函数时都包含类型样板。

Dart supports type inference, so it's not necessary to include type boilerplate every time you declare a variable or a function.

使用关联类型可以使这些类型的家族更加简洁，并且在许多情况下还能提供更好的类型推断。

Using associated types makes it much more concise to work with these families of types, and also provides better type inference in many cases.

局部变量类型推断.

Local Variable Type Inference.

类型推断认定i的类型是scala.

Type inference gives i the type scala.

Low quality sentence examples