Lifted domain
theory
In domain theory, a domain with a new bottom element added. Given a domain D, the lifted domain, lift D contains an element lift d corresponding to each element d in D with the same ordering as in D and a new element bottom which is less than every other element in lift D.
In functional languages, a lifted domain can be used to model a constructed type, e.g. the type
data LiftedInt = K Int
contains the values K minint .. K maxint and K bottom, corresponding to the values in Int, and a new value bottom. This denotes the fact that when computing a value v = (K n) the computation of either n or v may fail to terminate yielding the values (K bottom) or bottom respectively.
(In LaTeX, a lifted domain or element is indicated by a subscript \perp).
See also tuple.
Read Also:
- Lift-drag ratio
[lift-drag] /ˈlɪftˈdræg/ noun, Aeronautics. 1. the ratio of the lift to the drag of an airfoil.
- Lift-bridge
noun 1. a bridge having a section that can be lifted vertically to permit passage of boats beneath it.
- Lightly
[lahyt-lee] /ˈlaɪt li/ adverb 1. with little weight, force, intensity, etc.; gently: to press lightly on a door bell. 2. to only a small amount or degree; slightly: lightly fried eggs. 3. nimbly; quickly: to leap lightly aside. 4. with a lack of concern; indifferently; slightly: to think lightly of one’s achievements. 5. cheerfully; without […]
- Light-machine-gun
noun, Military. 1. any air-cooled machine gun having a caliber not greater than 0.30 inches (7.6 mm).
- Light-meat
noun 1. (defs 1, 2). noun 1. any meat that is light-colored before cooking, as veal or chicken (distinguished from ). 2. meat that is light-colored after cooking, as veal or breast of chicken or of turkey (distinguished from ). 3. Slang: Vulgar. a white person considered as a sexual partner. 4. Southern U.S. salt […]