defining reflection; Classification; OO.
Thomas M. Farrelly
Fri, 30 Oct 1998 11:14:21 +0100
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.
> > > 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.
> > 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..).
> David Manifold <email@example.com>
> 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 ]_____________