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

On 28 Dec 2007, at 4:10 AM, Cristian Baboi wrote:

On Fri, 28 Dec 2007 12:01:51 +0200, Miguel Mitrofanov 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, undefined], etc. jcc