inferencia de tipos oor Engels

inferencia de tipos

Vertalings in die woordeboek Spaans - Engels

type inference

naamwoord

A process in which the compiler determines the data type of a local variable that has been declared without an explicit data type declaration. The type is inferred from the initial value provided for the variable.

Soortgelyke frases

inferencia de tipo de variable local
local type inference

voorbeelde

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

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

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

La inferencia de tipos asegura que los nombres se utilicen en forma consistente.
Type inference ensures that names are used consistently.

Algoritmo 6.16: Inferencia de tipos para funciones polimórficas.
Algorithm 6.16 : Type inference for polymorphic functions.

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

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

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 .
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.

En la mayoría de los lenguajes con tipos, el sistema de tipos es usado solamente para verificar los tipos de los programas, pero varios lenguajes, generalmente funcionales, llevan a cabo lo que se conoce como inferencia de tipos, que le quita al programador la tarea de especificar los tipos.
In most typed languages, the type system is used only to type check programs, but a number of languages, usually functional ones, infer types, relieving the programmer from the need to write type annotations.

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

El objetivo del trabajo fue evaluar el rol diferencial de los procesos controlados y conscientes en la ejecución de ambos tipos de inferencias.
The aim of this study was to assess the differential role that conscious and controlled processes have in execution of both types of inferences.

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.
However, many manifestly typed languages support partial type inference; for example, C++, Java and C# all infer types in certain limited cases.

La proposición inferida inmediatamente se denomina "anverso" de la proposición original, y es una forma válida de inferencia para todos los tipos de proposiciones categóricas (A, E, I, O).
The immediately inferred proposition is termed the "obverse" of the original proposition, and is a valid form of inference for all types (A, E, I, O) of categorical propositions.

Estas cuestiones son analizadas para establecer algunas de las semejanzas y diferencias entre el silogismo práctico, los diversos tipos de inferencias prácticas y otros tipos de razonamientos, tratando de mostrar la relación que existe entre la formación del carácter o modo de ser, la recta razón y el silogismo práctico.
These questions are analyzed to determine some of the similarities and differences among the practical syllogism, various kinds of practical inferences, and other types of reasoning. This will involve trying to show how developing a character or mode of being, correct reason, and the practical syllogism are related.

En este proyecto multidisciplinario se exploró la «generación de inferencias» mediante una catalogación del ámbito y los tipos de inferencias basadas en el conocimiento que se producen de manera automática durante la lectura.
The multidisciplinary project explored 'inference generation', looking at the extent and types of knowledge-based inferences that are constructed online during reading.

La lógica formal se limita a clasificar tipos abstractos de inferencias silogísticas.
Formal logic limits itself to classifying abstract types of syllogistic inference.

Un problema principal es que, como con otros tipos de inferencias filogenéticas, la verdadera historia evolutiva no puede ser establecida con seguridad.
A main problem is that, as with other types of phylogenetic inferences, the actual evolutionary history cannot be established with certainty.

La inferencia no-deductiva o ampliativa es de tres tipos: inducción, hipótesis y analogía.
Non-deductive, or ampliative inference is of three kinds: induction, hypothesis, and analogy.

Lenguajes estáticamente tipados que no dispongan de inferencia (como Java), requieren que el programador declare los tipos de datos que un método o función puede procesar.
Statically typed languages that lack type inference (such as C and Java prior to version 10) require that programmers declare the types that a method or function must use.

Consiguientemente, los estudiosos que quieren conocer los orígenes del lenguaje tienen que sacar inferencias otros tipos de pruebas, tales como la evolución humana o de pruebas arqueológicas, de la diversidad lingüística contemporánea, de los estudios de la adquisición lingüística, y de comparaciones entre el lenguaje humano y los sistemas de comunicación existentes entre otros animales, y en otros primates.
Consequently, scholars wishing to study the origins of language must draw inferences from other kinds of evidence such as the fossil record, archaeological evidence, contemporary language diversity, studies of language acquisition, and comparisons between human language and systems of communication existing among animals (particularly other primates).

En cuanto a la Sección de Compresión Lectora, existen seis tipos de preguntas: ideas principales, ideas de apoyo, inferencia, aplicación de la información, estructura lógica y tono/estilo.
Specifically for Critical Reasoning, the solutions include a recap of the question and logics behind the question.

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

El ejemplo también muestra el poder de la inferencia de tipos de Swift.
The example also shows the power of Swift's type inference.

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

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