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

• inferência de tipo
• inferência de tipos
• tipo de inferência

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

Note that they both make use of type inference.
Note que ambas fazem uso da inferência de tipos.

Small improvements in type inference in the javac compiler.
Pequenas melhorias na inferência de tipos do compilador javac;

This is due to a language feature called type inference.
Isso se deve a um recurso da linguagem chamado de inferência.

As you can see in Scala type inference is a standard feature.
No Scala a inferência de tipo é uma característica padrão.

The class that they are an instance of is determined by type inference.
A classe em questão é determinada por inferência de tipos.

Type inference algorithms are typically based on unification.
Algoritmos de tipo de inferência são tipicamente baseados em unificação.

The main advantage of type inference is reduction of boilerplate.
A principal vantagem da inferência de tipo é reduzir o código repetitivo.

The so-called diamond operator is used to flag the type inference case.
O operador diamante é usado para sinalizar o caso de inferência de tipo.

Type inference, which was introduced in Java 7, also applies to lambda expressions.
A inferência de tipos, introduzida no Java 7, também é aplicada às expressões lambda.

Improved rename refactoring, type inference, and navigation.
Refatoração de renomeação, inferência de tipo e navegação aprimorados.

This example immediately shows a key feature of Swift, type inference.
Este exemplo mostra imediatamente a característica chave do Swift, inferÃancia de tipo.

The rules of type inference were relaxed to allow more programs to type check.
As regras de inferência de tipo foram afrouxadas para permitir que mais programas chequem o tipo.

Java 10 introduces a shiny new feature: type inference for local variables.
O Java 10 introduziu o recurso de inferência de tipos para variáveis locais.

Objective-C is lacking some of these things like a clean syntax(and Syntactic sugar) and type inference.
No Objective-C faltam algumas dessas coisas, como sintaxe limpa(e syntatic sugar) e inferência de tipo.

If type inference was used for the sorting lambda expression, it could be written as follows.
Se a inferência de tipo for usada na expressão lambda de ordenação, ela pode ser escrita da seguinte maneira.

This is just like diamond operator case, RHS already needs the type inference from LHS.
Isto é exatamente como o caso do operador diamante, o RHS precisa da inferência de tipo do LHS.

Unification is used during type inference, for instance in the functional programming language Haskell.
Unificação é usada durante o tipo de inferência, por exemplo na linguagem funcional de programação Haskell.

Its semantics include immutable values, stateless functions, and static typing with type inference.
Sua semântica inclui valores imutáveis, funções stateless e tipagem estática com inferência de tipos.

Let's see how lambda expressions and type inference help to simplify the callback example we discussed initially.
As expressões lambda e a inferência de tipos ajudam a simplificar o exemplo do chamado de retorno discutido anteriormente.

Delphi developers can now enjoy inline variable declaration, type inference, and more.
Os desenvolvedores Delphi podem agora desfrutar de declaração de variáveis em linhas, inferência de tipos e muito mais.

In Java 7, some limited type inference capabilities were introduced, and assignment statements can now be written like this.
No Java 7, foram introduzidos alguns recursos de tipo de inferência limitados, e declarações de atribuições podem agora ser escritas da seguinte forma.

Javascript code hints now provide more information like type inference and associated documentation.
As dicas de código Javascript agora fornecem mais informações, como inferência de tipos e documentação associada.

But again, you can tell by the simplicity of how this is done in Swift, that it's a core concept that gets even better with type inference.
Mas de novo, pode-se dizer que pela simplicidade como isso é feito no Swift é um conceito básico que fica ainda melhor com inferência de tipo.

Kotlin offers a strong type system, type inference, null safety, properties, lambdas extensions, coroutines, higher-order functions, etc.
Kotlin oferece um sistema de tipo forte, inferência de tipos, propriedades, extensões lambdas, corotinas, funções de alta ordem, etc.

On the language front, Kotlin 1.2 provides improved smart casts and type inference in certain cases; a new kotlin.
No front da linguagem, o Kotlin 1.2 fornece casts melhorados e inferência de tipos em certos casos como um novo pacote kotlin.

Type inference for partial types- Given an untyped term from the lambda calculus, determine whether this term has a partial type..
Inferência de tipo para tipos parciais- Dado um termo sem tipo do cálculo lambda, determinar se este termo possui um tipo parcial.

Swift is a strongly typed language, though it uses type inference to reduce the amount of characters typed by the developer.
Apesar de ser uma linguagem fortemente tipada, o Swift usa a inferência de tipos para reduzir a quantidade de caracteres digitados pelos desenvolvedores.

This is because predicativity, together with other restrictions, makes the type system simple enough that full type inference is always possible.
Isso porque a predicatividade, junto com algumas outras restrições, faz com que o sistema do tipo seja simples o suficiente para a inferência do tipo ser possível.

In the past, languages with dynamic typing and/or type inference posed significant limitations on IDEs to produce usable code completion behavior.
No passado, as linguagens com tipagem dinâmica e/ ou tipo de inferência posou limitações significativas em IDEs para produzir comportamento conclusão de código utilizável.

Kotlin is designed to interoperate fully with Java, and the JVM version of its standard library depends on the Java Class Library, but type inference allows its syntax to be more concise.
A versão da JVM(Java Virtual Machine) de sua biblioteca padrão depende da Java Class Library, mas a inferência de tipos permite que sua sintaxe seja mais concisa.