• bearophile (7/8) Dec 22 2009 In the the Lambda the Ultimate blog, here:

bearophile <bearophileHUGS lycos.com> writes:

In the the Lambda the Ultimate blog, here:
http://lambda-the-ultimate.org/node/3731
they have discussed a little about this paper, "Super and Inner -- Together at
Last!" by David S. Goldberg, Robert Bruce Findler and Matthew Flatt:
http://www.cs.utah.edu/plt/publications/oopsla04-gff.pdf

From its abstract:

In an object-oriented language, a derived class may declare a method with the
same signature as a method in the base class. [...] the new declaration
overrides the base declaration, perhaps completely replacing it, or perhaps
using *super* to invoke the old implementation. Another possibility is that the
base class always controls the method implementation, and the new declaration
merely augments the method in the case that the base method calls *inner*. Each
possibility has advantages and disadvantages. In this paper, we explain why
programmers need both kinds of method redeclaration, and we present a language
that integrates them.<

Bye,
bearophile