[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: CLOS lambda-list congruence



> The lambda list congruence rules are designed to re-enforce the generic
> function as an interface mechanism. In this design, the lambda list
> is the interface to a distributed implementation, namely the methods.
> The congruence rules match the generic function interface to the
> implementation.

OK, but I don't see how the examples I cited are inconsistent with this
philosophy.

> If you want to preserve the old semantics, and alternative is to implement
> your own generic function type using the metaobject protocol, which 
> relaxes the restriction on lambda list congruence. 

Looking at document 88-003, I can't find any provision for being
able to do that.  Is that a new feature in the forthcoming draft?