subtypes - definição. O que é subtypes. Significado, conceito
Diclib.com
Dicionário ChatGPT
Digite uma palavra ou frase em qualquer idioma 👆
Idioma:

Tradução e análise de palavras por inteligência artificial ChatGPT

Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:

  • como a palavra é usada
  • frequência de uso
  • é usado com mais frequência na fala oral ou escrita
  • opções de tradução de palavras
  • exemplos de uso (várias frases com tradução)
  • etimologia

O que (quem) é subtypes - definição

A FORM OF TYPE POLYMORPHISM
Subtypes; Subtyping (object-oriented programming); Supertype; Subtype and derived type; Interface inheritance; Subtyping of functions; Subtype (computing); Inclusion polymorphism; Subtyping polymorphism; Subtype polymorphism

Subtyping         
In programming language theory, subtyping (also subtype polymorphism or inclusion polymorphism) is a form of type polymorphism in which a subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements, typically subroutines or functions, written to operate on elements of the supertype can also operate on elements of the subtype. If S is a subtype of T, the subtyping relation (written as ,  ,Copestake, Ann.
subtyping         
Subtypes of HIV         
VARIANTS OF THE HUMAN IMMUNODEFICIENCY VIRUS
HIV-1; HIV-2; Human immunodeficiency virus 1; Human immunodeficiency virus 2; HIV Group O; Human Immunodeficiency Virus 1; HIV-1 infection; HIV subtypes; HIV subtype; А3/02; CRF19; HIV1; HIV2; Human immunodeficiency virus type 2; Human immunodeficiency virus type 1; HIV-1 group M
One of the obstacles to treatment of the human immunodeficiency virus (HIV) is its high genetic variability. HIV can be divided into two major types, HIV type 1 (HIV-1) and HIV type 2 (HIV-2).

Wikipédia

Subtyping

In programming language theory, subtyping (also subtype polymorphism or inclusion polymorphism) is a form of type polymorphism in which a subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements, typically subroutines or functions, written to operate on elements of the supertype can also operate on elements of the subtype. If S is a subtype of T, the subtyping relation (written as S <: T,  ST, or  S ≤: T ) means that any term of type S can safely be used in any context where a term of type T is expected. The precise semantics of subtyping here crucially depends on the particulars of how "safely be used" and "any context" are defined by a given type formalism or programming language. The type system of a programming language essentially defines its own subtyping relation, which may well be trivial, should the language support no (or very little) conversion mechanisms.

Due to the subtyping relation, a term may belong to more than one type. Subtyping is therefore a form of type polymorphism. In object-oriented programming the term 'polymorphism' is commonly used to refer solely to this subtype polymorphism, while the techniques of parametric polymorphism would be considered generic programming.

Functional programming languages often allow the subtyping of records. Consequently, simply typed lambda calculus extended with record types is perhaps the simplest theoretical setting in which a useful notion of subtyping may be defined and studied. Because the resulting calculus allows terms to have more than one type, it is no longer a "simple" type theory. Since functional programming languages, by definition, support function literals, which can also be stored in records, records types with subtyping provide some of the features of object-oriented programming. Typically, functional programming languages also provide some, usually restricted, form of parametric polymorphism. In a theoretical setting, it is desirable to study the interaction of the two features; a common theoretical setting is system F<:. Various calculi that attempt to capture the theoretical properties of object-oriented programming may be derived from system F<:.

The concept of subtyping is related to the linguistic notions of hyponymy and holonymy. It is also related to the concept of bounded quantification in mathematical logic (see Order-sorted logic). Subtyping should not be confused with the notion of (class or object) inheritance from object-oriented languages; subtyping is a relation between types (interfaces in object-oriented parlance) whereas inheritance is a relation between implementations stemming from a language feature that allows new objects to be created from existing ones. In a number of object-oriented languages, subtyping is called interface inheritance, with inheritance referred to as implementation inheritance.

Exemplos do corpo de texto para subtypes
1. There are 16 HA subtypes and nine NA subtypes, so many combinations of H and N proteins can occur.
2. The influenza virus comes in dozens of types and subtypes.
3. Centers for Disease Control and Prevention (CDC). There are no subtypes for influenza B and C because these subtypes do not change as frequently as influenza A.
4. Other subtypes are found most commonly in other animal species.
5. Because of their ability to mutate, influenza A viruses are divided into subtypes based on two proteins on the virus surface âЂ« hemagglutinin (HA) and neuraminidase (NA). Influenza A subtypes are named according to their HA and NA surface proteins.