TYPE INFERENCE - tradução para Português

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

Exemplos de uso de Type inference em Inglês e suas traduções para o Português

makes the type system simple enough that full type inference is always possible.
o sistema do tipo seja simples o suficiente para a inferência do tipo ser possível.

RHS already needs the type inference from LHS.
o RHS precisa da inferência de tipo do LHS.

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.

it is typically a better experience when these languages also do type inference.
é uma experiência bem melhor quando essas linguagens também fazem inferência de tipo.

Standard ML(SML) is very advanced modular programming language that supports many features like type inference, garbage collection,
Padrão ML(SML) é muito avançada linguagem de programação modular que suporta muitas características como tipo de inferência, coleta de lixo,

while ensuring that terms are well-typed via Hindley-Milner type inference.
os termos são bem tipados pela inferência de tipos de Hindley-Milter.

strongly typed(type safe) languages with type inference seem to be preferred
linguagens fortemente tipadas(type safe) com inferência de tipo parecem ser preferidas

through type erasure), as it is possible to give a Church-style semantics on unannotated terms when the types can be deduced from context i.e., through type inference.
também é possível prover uma semântica estilo Church a termos não anotados quando os tipos podem ser deduzidos do contexto através da inferência de tipos.

Type annotations are optional(due to type inference) but strongly encouraged.
As anotações de tipo são opcionais(devido à inferência de tipos), mas são fortemente incentivadas.

The units of measure feature integrates with F type inference to require minimal type annotations in user code.
A catacterísticas da unidade de medida se integra com o tipo do F requisitando um mínimo de anotações no código do usuário.

especially in Hindley-Milner based type inference algorithms.
na linguagem de programação, especialmente nos tipos de algoritmos de inferência baseados em Hindley-Milner.

or some other type of inference.
quer Horn, ou algum outro tipo de inferência.

syntactic complexity types of sentences, phrasal extension, use of rhetorical markers, anaphoric elements; number, inference type and cognitive demand required;
complexidade sintática tipos de períodos, extensão frasal, uso de marcadores retóricos, elementos anafóricos; número, tipos de inferência e a demanda cognitiva por elas exigida;

the reader must formulate two types of inference- literal inferences, relating ideas within or between sentences,
deve formular dois tipos de inferéncias: inferéncias literais, relacionando ideias dentro

Specifically, the research examines the relationships between the establishment of different types of inferences(causal, state
De modo especifico, examinou-se as relações entre o estabelecimento de inferências de diferentes tipos(causais, de estado

Thus, we seek to improve students' textual comprehension through work with types of inferences proposed by marcuschi 2008.
Dessa forma, busca-se a melhoria da compreensão textual dos alunos através do trabalho com tipos de inferências propostos por marcuschi 2008.

We will try to show that the so-called“exhaustiveness effects” involve different types of inferences concerning the structure of referents in the domain of discourse; such inferences lead to different kinds of adjustments in that structure.
Os chamados“efeitos de exaustividade” podem envolver vários tipos de inferências acerca do domínio de referentes do discurso e resultar em vários tipos de modificação de sua estrutura.

whether pre-school children establish different types of inferences(causal, state,
as crianças da educação infantil estabeleciam inferências de diferentes tipos(causais, de estado

the reader must therefore formulate two types of inferences: literal inferences,
o leitor deve, portanto, formular dois tipos de inferências: inferências literais,

Take advantage of automatic type inference, when the Java compiler is able to infer the type of a generic instance without the need to explicitly specify it.
Tirar vantagem da inferência automática de tipo, quando o compilador Java consegue inferir o tipo de uma instância genérica sem a necessidade de especificá-la explicitamente.