<!doctype html public "-//w3c//dtd html 4.0 transitional//en">

<html>

David Ungar wrote:

<blockquote TYPE=CITE>Well....if Randy is going to jump here, I could say

that I agree with

<br>him. It is all about

<br>your purpose. For Self, we picked a set of things that were useful

in

<br>regular programs and

<br>conceivably implementable, and encapsulation-respectiing, based on

<br>our idea of what

object-oriented programming could be.

<p>Then there was a bunch of other stuff that needed to be there for the

<br>programming environment,

<br>that took an object's destiny away from it. That seemed like the meta

stuff and went into the mirrors.

<br> </blockquote>

So the only concern of Self with metaprogramming sounds like this.

This makes reflection the same as metaprogramming right?

<br>What about Self/R?  How will be reflection decisively made

explicit here?

<p>It seems to me that the Self language happens! Indeed a happy

<br>event! Similar to how Beethoven reacted to a lady who asked him

to explain his sonata. He simply played it again!

<br> 

<br> 

<p>A smile,

<br>Albertina

<br> 

<br> 

<blockquote TYPE=CITE> 

<br>- Dave

<p>At 4:23 PM -0800 1/16/01, Randy Smith wrote:

<br>>Don't forget to look at the trick question at the end

>of this note. Meanwhile....

<br>>

<br>>

<br>>>  > > what is meta-programming?  >

<br>>

>Jecel gave 3 good examples, including a Self program.

<br>>

<br>>>  > This program is *about* a program -

<br>>

<br>>..and this to me is the key word:  "about."  A meta discussion

<br>>is about a discussion.  A meta program is about a program. 

A

>meta X is about an X.

<br>>

<br>>Now one must use some interpretive framework to decide what

<br>>something is about or even if it is about anything!  So the

<br>>question of the degree to which something is meta is one of

<br>>interpretation.  In other words, rational people may disagree

>about the metaness of some object.

<br>>

<br>>For example, information about the representation of an object

<br>>is normally considered meta.  The number of slots, the names

of

<br>>the slots and so forth.  Now consider:  is the size of a

<br>>collection a meta notion?  It does not depend on the

<br>>representation of the collection, and is at times something you

<br>>want to know when working with the thing.  Hence some might

<br>>consider a collection's size a rather everyday, non-meta

<br>>concept.  Others might say it is meta, as it is clearly about

<br>>the collection.  Obviously in Self we take the former view, and

<br>>let you directly ask the object for its size (in Self we use

>mirrors for the meta stuff, like slot manipulations).

<br>>

<br>>So the choice of trying to put "meta" aspects into a special

<br>>world of mirrors is a choice to confront a mess of vague and

<br>>arguable decisions.  However, we figured it was a practical

<br>>factoring, even if it was an uncharacteristically non-Self-like

>to introduce unneeded distinctions.

<br>>

<br>>Hey, how about the metaness of the following, which refers to

<br>>itself and is therefore meta?  "If this sentence is true, it

is

<br>>not meta, otherwise it is meta."

<br>>

<br>>Is it an empty trick or does it reveal a problem with the

>meta/nonmeta distinction?

<br>>

<br>>--Randy

<p>--

<p>     David Ungar

<br>     Sun Microsystems Laboratories

<br>     (650) 336-2618</blockquote>

<pre>-- 

.----------------------------------------------------------.

| Albertina Lourenci                                       |

| PhD  in Architecture and Urbanism                        |

| post-doctorate researcher                                |

| Laboratory of Integrated Systems University of Sao Paulo |

| Avenida Professor Luciano Gualberto, 158 Travessa 3      |

| CEP: 05508-900                                           |

| Sao Paulo Sao Paulo State Brazil                         |

| Voice: +55 011 818 5254                                  |

| Fax: +55 11 211 4574                                     |

.----------------------------------------------------------.</pre>

 </html>