Here are the links:
http://se.ethz.ch/~meyer/down/covariance/covariance.pdf (PDF)
http://se.ethz.ch/~meyer/down/covariance/covariance.pptx (To see it with animations)
http://se.ethz.ch/~meyer/down/covariance/covariance.ppt (PowerPoint 2003 compatibility, less nice)
I tried to have some discussion on the matter some weeks ago, but there
has been little to no interest. I have posted a discussion paper on
http://ecma-eiffel.origo.ethz.ch/node/26.
The paper above from Bertrand and Manu seems to resolve the catcalls
issue related to genericity. I don't think the solution as proposed will
scale for covariant redefinitions in general.
There will be a face to face meeting of the ECMA committee in january.
Hopefully that they will discuss the matter and come up with some proposals.
I would be very interested to read about opinions with respect to the
above papers.
Regards
Helmut
The Eiffel Compiler:
http://tecomp.sourceforge.netDownload:
http://www.sourceforge.net/projects/tecompcolinlema wrote:
> A while ago a presentation was posted on here, I think from Bertrand,
> about a proposal for type intervals in the language to solve cat call
> issues. I wanted to read that over again but lost the link, can
> anyone point me to that? Has there been any discussion on that one
> way or another since it was posted on here?
>
>
>
