> First, you have to decide whether the kind of unification operation
> that you want should work on objects which are not instances of
> precisely the same class. I hope not. I don't see what it would mean
> (suddenly an object would mutate from one class into another?).
Possibly off-topic:
I remember seeing a design for a language (never implemented) where
constraints would determine the class... In other words, when the
constraint store realizes your Rectangle has equal sides, the system
makes it an instance of Square. And I did later find a system
implementing a subset of that idea, where dispatching depends on a
class that is dynamically determined from templated properties of the
object, but w/o constraint propagation: Have a look at
http://www.cert.org/easel/download/
Just trying to give an answer to what I know was largely a rhetorical
question...
MAP
-
Please send submissions to [email protected]
and administriva mail to [email protected].
The Mozart Oz web site is at http://www.mozart-oz.org/.
Please send bug reports to [email protected].