Multiple dispatch as dispatch on Tuples
- 1 October 1998
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 33 (10) , 374-387
- https://doi.org/10.1145/286936.286977
Abstract
Many popular object-oriented programming languages, such as C++, Smalltalk-80, Java, and Eiffel, do not support multiple dispatch. Yet without multiple dispatch, programmers find it difficult to express binary methods and design patterns such as the "visitor" pattern. We describe a new, simple, and orthogonal way to add multimethods to single-dispatch object-oriented languages, without affecting existing code. The new mechanism also clarifies many differences between single and multiple dispatch.Keywords
This publication has 16 references indexed in Scilit:
- Object-oriented multi-methods in CecilPublished by Springer Nature ,2006
- Parasitic methodsACM SIGPLAN Notices, 1997
- Typechecking and modules for multimethodsACM Transactions on Programming Languages and Systems, 1995
- Covariance and contravarianceACM Transactions on Programming Languages and Systems, 1995
- Safe and decidable type checking in an object-oriented languageACM SIGPLAN Notices, 1993
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- A calculus for overloaded functions with subtypingACM SIGPLAN Lisp Pointers, 1992
- A semantics of multiple inheritanceInformation and Computation, 1988
- Object-oriented programming with flavorsPublished by Association for Computing Machinery (ACM) ,1986
- Using category theory to design implicit conversions and generic operatorsPublished by Springer Nature ,1980