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

[Jonathan Cast]

On 28 Dec 2007, at 3:37 AM, Cristian Baboi wrote:

> Thank you.
>
> It sounds like a limit. xn --> x for n -->  :-)

I could say that LUBs are colimits, not limits, but I won't :)

More seriously, I don't like the calculus --> notation in this  
context; these are suprema, not lims.

>
> How can I get that maximal value when I start from a non maximal one ?

Take the least upper bound of a maximum set.

>
> [1 .. ] and x=1:x are maximal ?

Yes.

jcc