25 Jan
2009
25 Jan
'09
12:13 p.m.
Yes. If you've got a set of terminating computations, and it has multiple distinct elements, it generally doesn't *have* a least element. The P in CPO stands for Partial.
and this concern does not apply to () .
Btw, what would a non-lifted () be used for? If the least element _|_ is known to be the only element (), there isn't anything to do, indeed, there isn't even anything to store at runtime, as the locations of those statically fully known elements is also known statically, from the types. Claus