[Haskell-cafe] Re: Wikipedia on first-class object
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
let x = x in x
In both cases, (_|_) is the least fixed point, and is non-maximal.
More information about the Haskell-Cafe