Examples of using Type inference in English and their translations into Chinese
{-}
-
Political
-
Ecclesiastic
-
Programming
A local-variable type inference to enhance the language to extend type inference to local variables.
局部变量类型推断，用于增强语言以将类型推断扩展到局部变量。Julia features optional typing, multiple dispatch, and good performance, achieved using type inference and just-in-time(JIT) compilation, implemented using LLVM.
Julia的特性包括可选的输入，多重分派（Multipledispatch）和优异性能，实现了使用类型推断和JIT（just-in-time）编译，使用LLVM执行。Scala has many features of functional programming languages like Scheme, Standard ML and Haskell, including currying, type inference, immutability, lazy evaluation, and pattern matching.
Scala拥有许多函数式编程语言的特性，就像Scheme、StandardML和Haskell，拥有柯里化、推断类型、不变性、延迟计算和模式匹配等特性。Local Variable Type Inference.
局部变量类型推断.Type inference gives i the type scala.
类型推断认定i的类型是scala.It has full Hindley-Milner type inference.
Hindley-Milner类型推论算法.Java doesn't have type inference.
Java没有函数类型。Along with type inference, Swift brings type safety.
连同类型推断一起，Swift还给出了类型安全。Java 10 introduced the language feature of Local-Variable Type Inference.
JavaSE10引入了局部变量的类型推断。Java 10 introduced the language feature of Local-Variable Type Inference.
Java10引入了局部变量类型推断的特性。However, type inference for existential types is a difficult problem.
然而，对于存在类型的类型推导是一个难点。Type inference, including the diamond operator for generic types. .
类型参考，包括泛型的Diamond操作符.The first huge thing that Swift provides is type inference.
第一个重大的事情是Swift提供了类型推断(typeinference)。JDK 10 will finally introduce type inference to the Java language.
JDK10终于引入了类型推断。Unfortunately, Java doesn't have superb type inference like Scala.
不幸的是，Java没有Scala那样高级的类型接口。Haskell has a strong, static type system based on Hindley- Milner type inference.
That's why I said Scala type inference is more superior than Java.
这也是为什么笔者认为Scala的类型接口比Java的更好）.For example, javac has always permitted a very limited form of type inference.
例如，javac一直允许使用功能非常有限的类型推断形式：.To achieve this goal, it learns complex behaviour, such as type inference in dynamically typed languages.
为了实现这个目标，它需要学习复杂的行为，比如动态类型语言中的类型推断。
