Re: Moving forward

Peter,

Could you bear with me for the moment. Much of this discussion has been in a
technical language which I am at best partially familiar with. When you say
"Pat's solution" which particular response to the interchange contains this
"solution". I presume that since we are still discussion this, that you have
concerns about this. Is this "solution" acceptable, and in your opinion what
are the downsides? I am still having trouble understanding what the
"informal" changes are and how to evaluate the "cost" of such changes.

Jonathan

>
> > Peter,
> >
> > > A third way to go would be to
> > > 1/ give up on a theory of classes
> > > This *would* result in a viable solution.  The change to DAML+OIL
would be
> > > very small, formally, but, informally
> > > 2/ the role of classes would change
> >
> > Could you elaborate? What are the implications? That is to say, this
seems
> > attractive but perhaps I am missing something obvious, or perhaps I am
> > misreading "give up on _a_ theory of classes" which seems to suggest
that
> > _another_ theory of classes can be used. Isn't a "very small" formal
change
> > what we are looking for?
> >
> > Jonathan
>
> Well this would be something like Pat's solution.
>
> peter
>
>

Received on Saturday, 16 March 2002 10:56:27 UTC