type resolution
[/taɪp rɪˌzɒluːʃən/]
nounpl: type resolutions
resolução de tipo
1. The process by which a compiler or interpreter determines the specific data type of an expression or variable, especially in cases where the type is not explicitly declared or is ambiguous
Type resolution in Python happens at runtime when the interpreter determines that a variable holds an integer value.
A resolução de tipo em Python ocorre em tempo de execução quando o interpretador determina que uma variável contém um valor inteiro.
2. In programming languages with polymorphism or overloading, the mechanism of selecting which implementation to use based on argument types
The compiler uses type resolution to choose between multiple overloaded function definitions.
O compilador usa resolução de tipo para escolher entre múltiplas definições de funções sobrecarregadas.
3. The process of inferring or determining types in a type inference system
Haskell's type resolution engine can infer complex types without explicit annotations.
O mecanismo de resolução de tipo do Haskell pode inferir tipos complexos sem anotações explícitas.
This is a technical term primarily used in software development and computer science contexts. In Brazil, as in Portugal and throughout the Portuguese-speaking tech community, the term 'resolução de tipo' is used in academic and professional settings, though many developers also use the English term directly in code documentation and discussions. The concept is particularly important in languages like Java, C++, Haskell, and TypeScript where type systems are complex.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →