[Haskell-cafe] Re: Wikipedia on first-class object
jonathanccast at fastmail.fm
Fri Dec 28 19:00:09 EST 2007
On 28 Dec 2007, at 4:10 AM, Cristian Baboi wrote:
> On Fri, 28 Dec 2007 12:01:51 +0200, Miguel Mitrofanov
> <miguelimo38 at yandex.ru> wrote:
>>> It sounds like a limit. xn --> x for n --> :-)
>> Yeah, that's right.
> If xn is monotone, then I only have to worry when it is not
> bounded, right ?
>>> How can I get that maximal value when I start from a non maximal
>>> one ?
>> Not a problem. For example, "const 1" maps each value (even (_|_))
>> to the maximal value "1".
>>> [1 .. ] and x=1:x are maximal ?
> Can you give me some examples of non maximal ones ?
undefined, 1:undefined, 1:1:undefined, undefined:undefined, [1, 1,
More information about the Haskell-Cafe