inferencia de tipos
Sign in to saveAlso known as type inference type, type inference type system, type inference typing system, type inference, inferred typing, type-inferred, type reconstruction
automatic detection of the data type of an expression in a programming language
Wikidata facts
- Subclass of
- type system
Show 1 more fact
- short name
- inferenca
Sources (2)
via Wikidata · CC0
Article · Español
La inferencia de tipos' es una característica predominante de los lenguajes de programación funcionales tales como ML, Haskell, C#, Vala y . La inferencia de tipos asigna automáticamente un tipo de datos a una función sin necesidad de que el programador lo escriba. El tipo de las funciones es reconstruido a partir de un del programa realizado por el compilador o intérprete del lenguaje, a partir de las definiciones previas y del uso de las variables en el cuerpo de las funciones.
Abstract from DBpedia / Wikipedia · CC BY-SA