[Haskell-cafe] Re: Wikipedia on first-class object
jonathanccast at fastmail.fm
Fri Dec 28 18:59:28 EST 2007
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 ?
More information about the Haskell-Cafe