Subtyping - Intersection and Union Types

Intersection and Union Types

This section requires expansion.

Union types should not to be confused with sum types, the anonymous version of which are called a "unions" in many imperative programming languages.

Read more about this topic:  Subtyping

Famous quotes containing the words intersection, union and/or types:

    If we are a metaphor of the universe, the human couple is the metaphor par excellence, the point of intersection of all forces and the seed of all forms. The couple is time recaptured, the return to the time before time.
    Octavio Paz (b. 1914)

    [Let] the Union of the States be cherished and perpetuated. Let the open enemy to it be regarded as a Pandora with her box opened; and the disguised one, as the Serpent creeping with his deadly wiles into paradise.
    James Madison (1751–1836)

    Science is intimately integrated with the whole social structure and cultural tradition. They mutually support one other—only in certain types of society can science flourish, and conversely without a continuous and healthy development and application of science such a society cannot function properly.
    Talcott Parsons (1902–1979)