[Haskell-cafe] Re: Wikipedia on first-class object

Miguel Mitrofanov miguelimo38 at yandex.ru
Fri Dec 28 03:58:09 EST 2007

> 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 ?


> - 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".

More information about the Haskell-Cafe mailing list