discriminated union - Definition. Was ist discriminated union
Diclib.com
Wörterbuch ChatGPT
Geben Sie ein Wort oder eine Phrase in einer beliebigen Sprache ein 👆
Sprache:

Übersetzung und Analyse von Wörtern durch künstliche Intelligenz ChatGPT

Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:

  • wie das Wort verwendet wird
  • Häufigkeit der Nutzung
  • es wird häufiger in mündlicher oder schriftlicher Rede verwendet
  • Wortübersetzungsoptionen
  • Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
  • Etymologie

Was (wer) ist discriminated union - definition

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.