3 Jan
2008
3 Jan
'08
9:32 a.m.
Jonathan Cast wrote:
The normal view taken by Haskellers is that the denotations of Haskell types are CPPOs.
I wrote:
CPPO?
(1) Must be monotone (2) Must be continuous
Could you please define what you mean by those terms in this context?
Jens Blanck wrote:
The extra P would stand for "pointed" (has a least element, bottom), this is common in some communities. To me though, a cpo (complete partial order) is closed under directed suprema and the empty set is directed so bottom is already required. The category of cpos in not cartesian closed. For denotational semantics I believe the subcategory of Scott domains are what is usually considered.
Continuous functions on cpos are by definition monotone and they respect directed suprema.
Thanks! Yitz