Word:

lifted domain

(theory)lifted domain - 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.
Browse
LIFIA
Liflode
LIFO
Lift
lift bridge
Lift gate
Lift hammer
Lift lock
lift off
lift out
lift pump
Lift tenter
lift up
Lift wall
Liftable
lifted
-- lifted domain --
Lifter
Lifting
Lifting bridge
lifting device
Lifting jack
Lifting machine
Lifting pump
Lifting rod
Lifting sail
liftman
liftoff
Lig
Ligament
Ligamental
ligamentum teres uteri
Ligan
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy