> 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". _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
