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

• verificação de tipo
• checagem de tipos

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

This reduces the boilerplate code required, while still maintaining Java's compile time type checking.
Isso reduz o código repetitivo, enquanto mantém a verificação dos tipos em tempo de compilação.

As a consequence type checking becomes undecidable in extensional type theory because programs in the theory might not terminate.
Como consequência a checagem dos tipos torna-se indecidível na teoria dos tipos extensional.

Did you know MS made a JS replacement language, that adds modules, classes, interfaces and type checking?
Você sabia MS criou um idioma substituição JS, que adiciona módulos, aulas, interfaces e verificação de tipo?

Lint performs type checking of variables and function assignments, checks for efficiency, unused variables and function identifiers, unreachable code and possibly memory leaks.
Lint realiza a verificação do tipo de variáveis e as atribuições da função, verifica a eficiência, as variáveis utilizadas e os identificadores de função, código inacessível e, possivelmente, vazamentos de memória.

It advertises"no runtime exceptions in practice", made possible by the Elm compiler's static type checking.
Ele anuncia"nenhuma exceção de tempo de execução na prática", possibilitada pela verificação de tipo estático do compilador Elm.

Another alternative presentation of simply typed lambda calculus is based on bidirectional type checking, which requires more type annotations than Hindley-Milner inference but is easier to describe.
Outra representação alternativa do cálculo lambda simplesmente tipado é baseada na checagem de tipos bidirecional, que requer mais anotações de tipos que a inferência de Hindley-Milner mas é mais fácil de descrever.

Pure bilge is the first system of its kind, that the new, String shoulder DNV 5 ppm corresponds to type checking for separators.
Puro esgoto é o primeiro sistema do gênero, que o novo, Cordas ombro DNV 5 ppm corresponde a verificação de tipo para separadores.

In contrast in intensional type theory type checking is decidable, but the representation of standard mathematical concepts is somewhat more cumbersome, since intensional reasoning requires using setoids or similar constructions.
Em contraste na Teoria dos Tipos Intensional a checagem de tipos é decidível, mas a representação do conceito matemático padrão é complexa, já que a lógica de extensão requer o uso de igualdade de conjuntos ou construções similares.

This keyword should be used very sparingly, such as in limited conditionally-compiled situations where type checking is a hindrance.
Essa palavra-chave deve ser usada com muita cautela, como em situações limitadas de compilação condicional onde a verificação de tipo pode ser um obstáculo.

The language, and implementations thereof, should provide support for software engineering principles such as strong type checking, array bounds checking, detection of attempts to use uninitialized variables, and automatic garbage collection.
A linguagem e suas implementações devem fornecer suporte para princípios de engenharia de software, tais como verificação de tipo forte, verificação de limites de array, detecção de tentativas de usar variáveis não inicializadas e coleta automática de lixo.

On July 2, 2012, Groovy 2.0 was released, which, among other new features, added static compiling and static type checking.
Em 2 de Julho de 2012, Groovy 2.0 foi lançado, nas quais, entre outras características, adicionou compilação estática e verificação estática de tipagem.

A variable can be"bound" to different types of variables at different points in time, and therefore all type checking is done at run-time.
Uma variável pode ser"bound" para diferentes tipos de variáveis em diferentes pontos no tempo, e portanto todo tipo é verificado em tempo de execução.

Wrapping up the article, you have covered what the"var" type is and how this feature reduces the boilerplate coding, while maintaining Java's compile time type checking.
Resumindo o artigo, foi abordado o que é o tipo"var" e como esse recurso reduz a codificação redundante, enquanto mantém a verificação de tipo em tempo de compilação do Java.

Standard ML(SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference.
Standard ML(SML) é uma linguagem de programação funcional de propósito geral modular com verificação e inferência de tipos em tempo de compilação.

Based on these data, and knowing the importance of chewing to the stomatognathic system was included in the protocol masticatory type checking the assessed individual.
Com base nesses dados, e tendo conhecimento da importância da função mastigatória para o sistema estomatognático, foi inserida no protocolo a verificação do tipo mastigatório do indivíduo avaliado.

At the time, you could make a computer that was about the same price range as other computers that weren't meant for Lisp, except that it would run Lisp much faster than they would, and with full type checking in every operation as well.
Na época, você poderia construir um computador com a mesma faixa de preço de outros computadores que não fossem feitos para rodar Lisp, exceto que ele executaria o Lisp muito mais rápido do que os outros, e com a verificação de tipo completa em todas as operações também.

In general, skipping type checks is*not* recommended.
No geral, ignorar verificações de tipo*não* é recomendado.

The cost of the type checks has been reduced in Dart 2.1, both for AOT-compiled code and for code run in the VM with JIT compilation.
O custo da checagem de tipos foi reduzido no Dart 2.1, para ambos o código compilado AOT e para código sendo executado na VM com a compilação JIT.

This version brings new language features, performance improvements, faster type checks, and better usability for type errors.
Essa versão traz novas funcionalidades na linguagem, melhorias de performance, checagem de tipos mais rápida e melhor usabilidade para erros de tipos..

If the extension produced by MIME type check differs from the uploaded file extension, the file will be considered as invalid.
Se a extensão produzido pela verificação do tipo MIME difere da extensão do arquivo carregado, o arquivo será considerado inválido.

There's also some MIME type checks and how many plugins you have installed, but these variables come up very rarely.
Há também algum tipo verificações do MIME e quantos plugins você instalou, mas estas variáveis vêm acima de muito raramente.

Tuples don't require you to define any types for its values, everything gets inferred and type checked at compile time.
Tuplas não necessitam de definição de tipo para seus valores, tudo é inferido e tem seu tipo checado em tempo de compilação.

Generics JDK 1.5 has introduced the Generics nechanism into the Java language, to define type parameters for collections, allowing more precise and restrictive the type definition for elements of a collection, with compile-time type check.
O JDK 1.5 introduziu o mecanismo de Generalização(Generics) na linguagem Java, que define parametrização de tipo para coleções, permitindo tornar mais precisa e restritiva a definição do tipo permitido para os elementos de uma coleção, com verificação de tipo em tempo de compilação.

They allow the compiler to run certain type checks usually not available in languages without generics it's also true that generics did generate some controversy when introduced in C, but it was overall accepted in the C and Java communities.
Pois permite que o compilador execute certas checagens de tipo geralmente não disponíveis em linguagens sem generics também é verdade que generics de fato geraram algumas controvérsias quando introduzidos no C, mas foi totalmente aceito nas comunidades C e Java.

Cryogenic swing check valves Low temperature lift type check valves Extended bonnet swing check valves LNG swing check valves LCB lift type check valves LF2 ball type check valves.
Válvulas de verificação criogênicas do balanço válvulas de retenção de tipo de baixa temperatura Válvulas de retenção de balanço prolongadas lng válvulas de retenção lcb lift type check valves lf2 ball type check válvulas.

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.

Static code analysis can remove many dynamic bound and type checks, but poor implementations and awkward cases can significantly decrease performance.
Análise de código estática pode remover muitas checagens de limites e tipos dinâmicas, mas implementações pobres e casos estranhos podem diminuir significativamente o desempenho.

The docs give a nice overview of the different kinds of validations type checks, required, etc.
O docs dão uma boa visão geral dos diferentes tipos de validação controlos de escrita, requisitos, etc.

Click the View tab, and clear the Hide extensions for known file types check box, and then click OK.
Clique na guia Exibir e desmarque a caixa Ocultar as extensões dos tipos de arquivo conhecidos verificar e clique em OK.

Checking browser type and device.
Verificação do seu tipo de navegador e dispositivo.