next up previous contents
Next: Eiffel's system validity check Up: Typing in object-oriented languages: Previous: Combining parametric polymorphism with

Solutions to Eiffel's covariant type problems

The object-oriented language Eiffel allows covariant changes to types of instance variables and to both parameter and result types of methods in subclasses. Supporters of Eiffel argue that allowing these covariant changes is essential in order to support flexible program development. However, as we have seen, this permits the introduction of type errors.


Kim Bruce