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

• inferencia de tipos

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

Definition of XSLT Map, showing automatic type inference.
Definición del mapa XSLT con inferencia automática de tipos.

Added type inference, significantly improving JavaScript performance.
Añadido Type Inference, mejorando significativamente el rendimiento JavaScript.

Provides on-the-fly code analysis and type inference.
Proporciona análisis de código e inferencia de tipos al instante.

Ok, We have seen properties, type inference, default values and parameters by name.
Ok, hemos visto propiedades, inferencia de tipos, valores por defecto y parámetros por nombre.

This will cause the Kotlin compiler to throw a type inference error.
Esto hará que el compilador de Kotlin a tirar un error de inferencia de tipos.

Rust features type inference, for variables declared with the let keyword.
Rust cuenta con inferencia de tipos, para las variables declaradas con la palabra clave let.

However, many manifestly typed languages support partial type inference;
Sin embargo, muchos lenguajes de tipos explícitos permiten inferencias parciales de tipo;

Type annotations are optional(due to type inference) but strongly encouraged.
Las anotaciones de tipos son opcionales, debido a la inferencia de tipos, pero recomendadas.

F is a strongly typed functional-first language that uses type inference.
F es un lenguaje de programación primeramente funcional, fuertemente tipado, que usa la inferencia de tipos.

Complete type inference has traditionally been associated with less mainstream languages, such as Haskell and ML.
Inferencia total de los tipos suele asociarse con lenguajes menos populares, tales como Haskell y ML.

Its semantics include immutable values, stateless functions, and static typing with type inference.
Su semántica incluye valores inmutables, funciones puras, y tipado estático con inferencia de tipos.

The type is determined by using type inference and type information is carried using algebraic data types..
El tipo se determina usando inferencia de tipos y la información de tipos fluye usando Tipo de dato algebraico.

Robin Milner, inventor of ML, and sharing credit for Hindley-Milner polymorphic type inference.
Robin Milner, inventor de ML, y compartió crédito en el método Hindley-Milner de inferencia de tipo polimórfica.

The algorithm first used to perform type inference is now informally termed the Hindley-Milner algorithm, although the algorithm should properly be attributed to Damas and Milner.
El algoritmo comúnmente utilizado para realizar inferencia de tipos es el que normalmente se denomina algoritmo de Hindley-Milner o algoritmo de Damas-Milner.

Scala is a concise, object-oriented language with functional programming features, including currying, type inference, immutability, lazy evaluation, and pattern matching.
Scala es un lenguaje conciso y orientado a objetos con funciones de programación funcional, que incluye currying, inferencia de tipos, inmutabilidad, evaluación diferida y concordancia de patrones.

Some features of note include type inference, generators, multimethods, optional duck typing, macros, true closures, currying, and first-class functions.
Sus características incluyen la inferencia de tipos, los generadores, multimétodos, duck typing opcional, macros, clausuras, currificación y funciones de primera clase.

Since anonymous types do not have a named type, they must be stored in variables declared using the var keyword, telling the C compiler to use type inference for the variable.
Como los tipos anónimos no tiene un tipo de dato con nombre, deben ser almacenados en variables no tipadas, esto indica al compilador que use inferencia de tipos para la variable.

However, many manifestly typed languages support partial type inference; for example, C++, Java and C all infer types in certain limited cases.
Sin embargo, muchos lenguajes de tipos explícitos permiten inferencias parciales de tipo; tanto Java y C, por ejemplo, infieren tipos en un número limitado de casos.

Syntactically and semantically Xtend has its roots in the Java programming language but focuses on a more concise syntax and some additional functionality such as type inference, extension methods, and operator overloading.
Xtend tiene sus raíces en el lenguaje de programación Java, tanto en la forma sintáctica como semántica, pero tiene una sintaxis más concisa y algunas funciones adicionales, como la inferencia de tipos, los métodos de extensión y la sobrecarga de operadores.

Features of ML include a call-by-value evaluation strategy, first-class functions, automatic memory management through garbage collection, parametric polymorphism, static typing, type inference, algebraic data types, pattern matching, and exception handling.
Entre las características de ML se incluyen evaluación por valor, álgebra de funciones, manejo automatizado de memoria por medio de recolección de basura, polimorfismo parametrizado, análisis de estático de tipos, inferencia de tipos, tipos de datos algebraicos, llamada por patrones y manejo de excepciones.

Here is an example Xtend file: package sample import java. util. List class Greeter{ def greetThem(List names){ for(name: names){ println(name. sayHello)}} def sayHello(String name){'Hello'+ name+'!'}} Xtend provides type inference, i.e. the type of name and the return types of the methods can be inferred from the context.
Aquí hay un ejemplo de archivo Xtend: package ejemplo import java. util. List class Invitacion{ def invitar(List nombres){ for(nombre: nombres){ println(nombre. decirHola)}} def decirHola(String nombre){'Hola'+ nombre+'!'}} Xtend proporciona inferencia de tipo, es decir, el tipo de name y los tipos de retorno de los métodos se pueden inferir a partir del contexto.

The use of algebraic datatypes makes manipulation of complex data structures convenient; the presence of strong compile-time type checking makes programs more reliable in absence of other reliability techniques like test-driven development, while type inference frees the programmer from the need to manually declare types to the compiler in most cases.
El uso de tipos de datos algebraicos y la coincidencia de patrones hace que la manipulación de estructuras de datos complejas convenientes y expresivos, la presencia de comprobaciones estrictas de tipos en tiempo de compilación hace que los programas sean más fiables, mientras que la inferencia de tipos libera al programador de la necesidad de declarar manualmente los tipos para el compilador.

How to use "type inference" in an English sentence

ML’s type inference ensures consistency, while Scala’s type inference ensures correctness.

Smarter Type inference : Haxe type inference is now even smarter.

Prog's type inference capabilities are numerous.

Type inference for parameterized race-free Java.

This requires explicit type inference rules.

Type inference has become standard function.

The restriction makes type inference feasible.

Type inference can reduce boilerplate signifcantly.

Swift has strong type inference capabilities.

Type Inference for Unique Pattern Matching.

How to use "inferencia de tipos" in a Spanish sentence

La inferencia de tipos asigna automáticamente un tipo de datos a una función sin necesidad de que el programador lo escriba.

Este trabajo se centrará en dos análisis: compartición entre estructuras de datos e inferencia de tipos seguros.

Inferencia de tipos es la adición más importante al motor de JavaScript en el último año y medio de desarrollo.

Se ha demostrado que estos sistemas de tipos sofisticados son tan expresivos que sus respectivos problemas de inferencia de tipos dejan de ser decidibles.

La inferencia de tipos de datos no solamente funciona al momento de realizar declaraciones de variables o constantes.

Un ejemplo de las reglas de inferencia de tipos para la expresión aritmética suma se presenta a continuación.

Java 10 añadío la inferencia de tipos para variables locales con la palabra reservada var.

Algunos lenguajes que poseen formas de inferencia de tipos son: Ada, BitC, Boo, C# 3.

Cabe notar también como la expresión foreach ha sido extendida para utilizar la inferencia de tipos también.

La principal ventaja de esta sintaxis de inferencia de tipos es que acorta lo que a veces son declaraciones bastante largas.