Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each …
A Richard, O Lhoták - Companion to the 22nd ACM SIGPLAN …, 2007 - dl.acm.org
We present an extension to Java, dubbed OOMatch. It allows method parameters to be specified as patterns, which are matched against the arguments to the method call. When …
Multiple dispatch–the selection of a function to be invoked based on the dynamic type of two or more arguments–is a solution to several classical problems in object-oriented …
D Lievens, W Harrison - Proceedings of the 2009 ACM symposium on …, 2009 - dl.acm.org
In object systems, classes take the role of modules, and interfaces consist of methods. Because methods are encapsulated in objects, interfaces in object systems do not allow …
D Lievens, B Harrison - arXiv preprint arXiv:1110.3470, 2011 - arxiv.org
In object systems, classes take the role of modules, and interfaces consist of methods. Because methods are encapsulated in objects, interfaces in object systems do not allow …
Multiple inheritance has long been plagued with the “diamond” inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we address the …
The intricate concepts of ad-hoc polymorphism and overloading permeate the field of programming languages despite their somewhat nebulous definitions. With the perspective …
In object systems, classes take the role of modules, and interfaces consist of methods. Because methods are encapsulated in objects, interfaces in object systems do not allow …