DISCRIMINATED UNION
\dɪskɹˈɪmɪnˌe͡ɪtɪd jˈuːni͡ən], \dɪskɹˈɪmɪnˌeɪtɪd jˈuːniən], \d_ɪ_s_k_ɹ_ˈɪ_m_ɪ_n_ˌeɪ_t_ɪ_d j_ˈuː_n_iə_n]\
Sort: Oldest first
-
The discriminated union of two sets A and B isA + B = (inA, a) | a in A U (inB, b)| b in Bwhere inA and inB are arbitrary tags which specify whichsummand an element originates from.A type (especially an algebraic data type) might bedescribed as a discriminated union if it is a sum type whoseobjects consist of a tag to say which part of the union theybelong to and a value of the corresponding type.
By Denis Howe
Word of the day
Platidiam
- An inorganic water-soluble platinum complex. After undergoing hydrolysis, it reacts DNA produce both intra interstrand crosslinks. These crosslinks appear to impair replication and transcription of DNA. The cytotoxicity cisplatin correlates with cellular arrest in G2 phase cell cycle.