CLOS solutions to binary methods

Authors

Didier Verna

Where

Proceedings of the International MultiConference of Engineers and Computer Scientists

Place

Hong Kong

Type

inproceedings

Projects

Software"Software" is not in the list (Vaucanson, Spot, URBI, Olena, APMC, Tiger, Climb, Speaker ID, Transformers, Bison, ...) of allowed values for the "Related project" property.

Keywords

Software engineering

Date

2007-01-22

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

• Paper

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.}
}