defining reflection; Classification; OO.

[Thomas M. Farrelly]

David Manifold wrote:

[ different kinds of reflection ]

> The terms 'internal reflection' and 'dynamic reflection' are what I am
> proposing here.  Please tell me what you think.
>

Great!

> > > Pattern matching.  It's part of typechecking: figuring out what type
> > > something is.  A type is a classification.  "Finding orthogonal
> > > abstractions" is what the programmer does when creating a new type.
> > >
> > Yes, and AI is automation of this process.
> 
> Typechecking is easy.  Making the typesystem is hard.
> Similarly, verifying proofs is easy.  Coming up with proofs is hard..
> 
> > [A fully OO system requires reflection]
> 
> Okay, I'll buy that.

sold

> 
> > The next
> > consistent abstraction level is a homogenous system where everything has
> > some common properties. What properties? OO is an attempt to resolve
> > these problems, I guess. Currently they are not solved. Currently there
> > is no OO.
> 
> I have no answer to this, except that TUNES allows you to define objects
> as sets of properties, and then define what the properties are and what
> they mean (in terms of other properties..).

exactly

> 
> David Manifold <dem@tunes.org>
> This message is placed in the public domain.


PS: Silly me, I don't know how often I press the "reply" instead of
"reply all" button". Sorry.

--
 ____________[ Thomas M. Farrelly ]_____________
 http://ii.uib.no/~s720   mailto:s720@ii.uib.no