Sept. 22, 1999 to Sept. 25, 1999
Mark Evered , University of New England
J. Leslie Keedy , University of Ulm
Axel Schmolitzky , Monash University
Binary class methods are often more suitable for modeling binary operations than binary instance methods. Allowing covariant parameter type adaptations in class methods can make them even more attractive. In this paper we discuss the implications of covariant class methods on type safety. We discuss two examples, one type-safe at run-time and the other not, and formulate type rules that make it possible to identify the difference at compile-time.
language design, binary methods, pragmatical class methods, covariance, static type safety
Mark Evered, J. Leslie Keedy, Axel Schmolitzky, "How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?", TOOLS, 1999, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 31, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 31 1999, pp. 200, doi:10.1109/TOOLS.1999.809426