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:

    You can always tell a Midwestern couple in Europe because they will be standing in the middle of a busy intersection looking at a wind-blown map and arguing over which way is west. European cities, with their wandering streets and undisciplined alleys, drive Midwesterners practically insane.
    Bill Bryson (b. 1951)

    You can no more keep a martini in the refrigerator than you can keep a kiss there. The proper union of gin and vermouth is a great and sudden glory; it is one of the happiest marriages on earth, and one of the shortest-lived.
    Bernard Devoto (1897–1955)

    Our children evaluate themselves based on the opinions we have of them. When we use harsh words, biting comments, and a sarcastic tone of voice, we plant the seeds of self-doubt in their developing minds.... Children who receive a steady diet of these types of messages end up feeling powerless, inadequate, and unimportant. They start to believe that they are bad, and that they can never do enough.
    Stephanie Martson (20th century)