[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: goops and memoization
From: |
Neil Jerram |
Subject: |
Re: goops and memoization |
Date: |
24 Nov 2002 09:41:59 +0000 |
User-agent: |
Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7 |
>>>>> "Mikael" == Mikael Djurfeldt <address@hidden> writes:
Mikael> [...] because the list of applicable methods is unique per
Mikael> application arglist signature and gf application also
Mikael> caches per application, not per method definition.
I see this now. A case that makes it clear is this:
(define-method (foo (arg <super1>))
...
(next-method))
(define-class <derived> (<super1> <super2>))
(define-method (foo (arg <super2>))
...)
(foo (make <derived> ...))
The first define-method cannot possibly know at definition time that,
in the eventual application, next-method should be pointing to the
method for super2.
There is also this, which doesn't rely on multiple inheritance ...
(define-class <base>)
(define-class <derived1> (<base>))
(define-class <derived2> (<derived1>))
(define-method (foo (arg <base>))
...)
(define-method (foo (arg <derived2>))
...
(next-method))
(foo (make <derived2> ...))
(define-method (foo (arg <derived1>))
...
(next-method))
(foo (make <derived2> ...))
But this one could be handled by fixing up the next-method chain when
the method for <derived1> is defined, so isn't such a compelling
example.
I'm not proposing to pursue the method-definition-time approach. Out
of interest, however, are there any hard cases that don't rely on
multiple inheritance?
Neil
- goops and memoization, Dirk Herrmann, 2002/11/16
- Re: goops and memoization, Neil Jerram, 2002/11/17
- Re: goops and memoization, Dirk Herrmann, 2002/11/20
- Re: goops and memoization, Mikael Djurfeldt, 2002/11/20
- Re: goops and memoization, Mikael Djurfeldt, 2002/11/20
- Re: goops and memoization, Neil Jerram, 2002/11/21
- Re: goops and memoization, Mikael Djurfeldt, 2002/11/21
- Re: goops and memoization, Mikael Djurfeldt, 2002/11/21
- Re: goops and memoization,
Neil Jerram <=
- Re: goops and memoization, Mikael Djurfeldt, 2002/11/24
- Re: goops and memoization, Neil Jerram, 2002/11/21
- Re: goops and memoization, Mikael Djurfeldt, 2002/11/21
- Re: goops and memoization, Neil Jerram, 2002/11/29
- Re: goops and memoization, Neil Jerram, 2002/11/29
- Re: goops and memoization, Neil Jerram, 2002/11/21
- Re: goops and memoization, Dirk Herrmann, 2002/11/24