28 Dec
2007
28 Dec
'07
3:58 a.m.
Questions: The fact that Haskell functions are monotone continuous functions on pointed complete partial orders imply this ? - every domain in Haskell is a "pointed complete partial order", including domains of functions ?
Right.
- the "structure" of a domain is preserved in the result when you apply a Haskell function to it ?
Right, if your "structure" means "complete partial order". Note that (_|_) (the least element in this order) is not necessarily preserved.
- every domain can be enumerated ?
Ehm... No. Well, it depends on what you mean by "enumeration".