covariant function
[/koʊˈvɛriənt ˈfʌŋkʃən/]
nounpl: covariant functions
função covariante
1. In mathematics and computer science, a function whose return type can be replaced with a subtype in a derived class without violating the Liskov Substitution Principle
In object-oriented programming, a covariant function allows a subclass method to return a more specific type than the parent class method.
Na programação orientada a objetos, uma função covariante permite que um método da subclasse retorne um tipo mais específico do que o método da classe pai.
2. In type theory and functional programming, a function parameter or return type that preserves the direction of type hierarchy substitution
The compiler enforces covariant function signatures to ensure type safety in inheritance hierarchies.
O compilador garante assinaturas covariantes de funções para manter a segurança de tipo em hierarquias de herança.
3. In statistics and tensor analysis, a function whose behavior changes consistently with transformations of its coordinate system
A covariant function in differential geometry transforms predictably under changes of basis.
Uma função covariante em geometria diferencial se transforma de forma previsível sob mudanças de base.
This is a technical term primarily used in computer science, mathematics, and engineering communities. It is domain-specific terminology with no significant cultural variations between English-speaking countries and Brazil. The term is identical in both languages when used in academic or professional contexts.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →