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

Can you give me some examples of non maximal ones ? ________ Information from NOD32 ________ This message was checked by NOD32 Antivirus System for Linux Mail Servers. part000.txt - is OK http://www.eset.com

Jonathan Cast

7 p.m.

New subject: 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

Cristian Baboi

5:20 a.m.

New subject: Wikipedia on first-class object

Thank you. This is what I understand so far: - the maximal values is what is usually called data - the non maximal are what is usually called code - in functional languages one can be given non maximal values (code) as input Is that right ? 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.

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

Yes.

________ Information from NOD32 ________ This message was checked by NOD32 Antivirus System for Linux Mail Servers. part000.txt - is OK http://www.eset.com

Jonathan Cast

7:03 p.m.

New subject: Wikipedia on first-class object

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

...

Thank you.

This is what I understand so far:

- the maximal values is what is usually called data

Incorrect. Total functions are maximal.

...

- the non maximal are what is usually called code

Incorrect. `Non maximal' expressions are just expressions with embedded infinite loops or exceptions (or functions that yield such values when presented with defined arguments).

...

- in functional languages one can be given non maximal values (code) as input

Correct (sort of, se above). But not in the way you think. And only in non-strict functional languages. jcc

Cristian Baboi

5:40 a.m.

New subject: Wikipedia on first-class object

On Fri, 28 Dec 2007 12:01:51 +0200, Miguel Mitrofanov wrote:

...

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

Yes.

How can a Haskell implementation recognize a maximal value ? x=1:x for example. ________ Information from NOD32 ________ This message was checked by NOD32 Antivirus System for Linux Mail Servers. part000.txt - is OK http://www.eset.com

Jonathan Cast

7:04 p.m.

New subject: Wikipedia on first-class object

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

...

On Fri, 28 Dec 2007 12:01:51 +0200, Miguel Mitrofanov wrote:

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

Yes.

How can a Haskell implementation recognize a maximal value ?

x=1:x for example.

It can't. jcc

6355

Age (days ago)

6356

Last active (days ago)

List overview

Download

6 comments

3 participants

participants (3)

Cristian Baboi
Jonathan Cast
Miguel Mitrofanov