CLOS solutions to binary methods

From LRDE

Abstract

Implementing binary methods in traditional object oriented languages is difficult: numerous problems arise, such as typing (covariance vs. contra-variance of the arguments)polymorphism on multiple arguments (lack of multi-methods) etc. The purpose of this paper is to demonstrate how those problems are either solved, or nonexistent in the Common Lisp Object System (CLOS). Several solutions for different levels of binary methods support in CLOS are proposed. They mainly consist in re-programming a binary method specific object system through the CLOS meta-object protocol.

Documents

Bibtex (lrde.bib)

@InProceedings{	  verna.07.imecs,
  author	= {Didier Verna},
  title		= {{CLOS} solutions to binary methods},
  booktitle	= {Proceedings of the International MultiConference of
		  Engineers and Computer Scientists},
  year		= 2007,
  address	= {Hong Kong},
  month		= mar,
  organization	= {International Association of Engineers},
  abstract	= {Implementing binary methods in traditional object oriented
		  languages is difficult: numerous problems arise, such as
		  typing (covariance vs. contra-variance of the arguments),
		  polymorphism on multiple arguments (lack of multi-methods)
		  etc. The purpose of this paper is to demonstrate how those
		  problems are either solved, or nonexistent in the Common
		  Lisp Object System (CLOS). Several solutions for different
		  levels of binary methods support in CLOS are proposed. They
		  mainly consist in re-programming a binary method specific
		  object system through the CLOS meta-object protocol.}
}