discriminated union - definizione. Che cos'è discriminated union
Diclib.com
Dizionario ChatGPT
Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:

Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

  • come viene usata la parola
  • frequenza di utilizzo
  • è usato più spesso nel discorso orale o scritto
  • opzioni di traduzione delle parole
  • esempi di utilizzo (varie frasi con traduzione)
  • etimologia

Cosa (chi) è discriminated union - definizione

WIKIMEDIA DISAMBIGUATION PAGE
Discriminated union (disambiguation)

discriminated union         
<theory> The discriminated union of two sets A and B is A + B = (inA, a) | a in A U (inB, b)| b in B where inA and inB are arbitrary tags which specify which summand an element originates from. A type (especially an algebraic data type) might be described as a discriminated union if it is a sum type whose objects consist of a tag to say which part of the union they belong to and a value of the corresponding type. (1995-04-25)
disjoint union         
MODIFIED UNION OPERATION THAT INDEXES THE ELEMENTS ACCORDING TO WHICH SET THEY ORIGINATED IN
Disjoint unions; ⨆; ⊔
In domain theory, a union (or sum) which results in a domain without a least element.
Disjoint union         
MODIFIED UNION OPERATION THAT INDEXES THE ELEMENTS ACCORDING TO WHICH SET THEY ORIGINATED IN
Disjoint unions; ⨆; ⊔
and is the set formed from the elements of and labelled (indexed) with the name of the set from which they come. So, an element belonging to both and appears twice in the disjoint union, with two different labels.

Wikipedia

Discriminated union

The term discriminated union may refer to:

  • Disjoint union in set theory.
  • Tagged union in computer science.