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

Miguel Mitrofanov miguelimo38 at yandex.ru
Fri Dec 28 05:53:40 EST 2007

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

Sorry, don't understand what you mean. Yes, the monotone sequence has a limit. No, it's not necessarily maximal.

> >> [1 .. ] and x=1:x are maximal ?
> Can you give me some examples of non maximal ones ?

let x = x+1 in x

Or even

let x = x in x

In both cases, (_|_) is the least fixed point, and is non-maximal.

More information about the Haskell-Cafe mailing list