Common Lisp Object System

Common Lisp Object System (CLOS por sus siglas en inglés) es un sistema de objetos. Forma parte del estándar ANSI de Common Lisp. Ha sido adaptado por otros dialectos de Lisp como EuLisp o Emacs Lisp.^[1]^[2] CLOS está inspirado en anteriores sistemas de objetos en Lisp como MIT Flavors o Common LOOPS. Una de las metas de diseño fue que sea compatible con dichos sistemas.^[3] CLOS provee al programador la capacidad de modificar y extender su semántica a través de un Protocol de Meta-objetos (MOP por sus siglas en inglés).^[4]

Características

Resolución múltiple

CLOS es un sistema de resolución múltiple. Esto significa que los métodos se pueden distinguir según los tipos de todos los argumentos. Muchos lenguajes OO son de resolución simple, sus métodos sólo se distinguen con el primer argumento. Los métodos en CLOS se agrupan en funciones genéricas, colecciones de métodos con el mismo nombre y estructura de argumentos, pero con argumentos de tipos diferentes.

Combinación de métodos

Una ilustración que muestra cómo se combinan los métodos en la combinación estándar.

CLOS permite combinar los diferentes métodos asociados a una función genérica bajo diferentes estrategias. El resultado de esta combinación se denomina método efectivo (effective method). La estrategia por defecto tiene el nombre de estándar. Adicionalmente CLOS define las siguientes combinaciones de métodos: progn, +, and, append, list, max, min, or y nconc. El usuario puede definir nuevas combinaciones usando el MOP. La estrategia estándar sigue la siguiente lógica: se elige el método :around más específico. Es método puede elegir si llamar o no el resto de métodos usando (call-next-method); luego se ejecutan todos los métodos :before de mayor a menor especificidad seguido del método primario más específico y por último todos los métodos :after de menor a mayor especificidad.

Herencia múltiple

CLOS permite herencia múltiple. Cuando el orden por defecto en que los métodos se ejecutan en herencia múltiple no es correcto, el programador puede resolver el problema del diamante especificando el orden de combinación de los métodos.

Dinámico

CLOS es dinámico, no sólo los contenidos, sino también las estructuras de los objetos se pueden modificar en tiempo de ejecución. CLOS soporta la carga de definiciones de clases al vuelo (incluso cuando las instancias de las clases ya existen) así como el cambio de los miembros de la clase de una instancia dada a través del operador change-class.

Basado en clases

CLOS no es un lenguaje basado en prototipos, las clases tienen que ser definidas antes de que los objetos puedan ser instanciados como miembros de esa clase. Sin embargo existe Sheeple, un sistema orientado a objetos basado en prototipos, que en su propio protocolo de meta-objetos^[5]

Protocolo de meta-objetos

Fuera del estándar ANSI, hay una extensión de CLOS ampliamente utilizada llamada protocolo de meta-objetos (MOP). EL MOP define una interfaz estándar para apuntalar las implementaciones de CLOS, tratando a las propias clases como instancias de metaclases y permite la definición de nuevas metaclases y la modificación del comportamiento clásico. La flexibilidad de las CLOS-MOP adelanta la Programación Orientada a Aspectos que fue desarrollada más tarde por algunos de los mismos ingenieros, como Gregor Kiczales.

Referencias

↑ "CLOS is a standard. Multiple vendors supply CLOS. CLOS (or parts of it) is being used to add object orientation to other Lisp dialects such as EuLisp or Emacs Lisp." pg 110 of Veitch 1998
↑ «EIEIO (“Enhanced Implementation of Emacs Interpreted Objects”)».
↑ Bobrow, Daniel (1993). «CLOS in context: the shape of the design space» (en inglés). MIT Press. Consultado el 13 de marzo de 2015.
↑ pg 108 of Veitch 1998
↑ https://github.com/sykopomp/sheeple

Enlaces externos

En inglés:

The Common Lisp Object System: An Overview Archivado el 6 de abril de 2003 en Wayback Machine. por Richard P. Gabriel y Linda DeMichiel proveeo una buena introducción a la motivación de definir clases por medio de funciones genéricas.
Kiczales, des Rivieres, y Bobrow, The Art of the Metaobject Protocol. 1991, MIT Press. ISBN 0-262-61074-4
Keene, Sonya. Object-oriented Programming in Common Lisp: A Programmer's Guide to CLOS. 1988, Addison-Wesley. ISBN 0-201-17589-4.
"CommonLoops: merging Lisp and object-oriented programming", por Daniel G. Bobrow, Kenneth Kahn, Gregor Kiczales, Larry Masinter, Mark Stefik, Frank Zdybel. 1986, Portland, Oregón, Estados Unidos. Páginas 17 - 29 de la Conference on Object Oriented Programming Systems Languages and Applications, ISSN 0362-1340.
"A History and Description of CLOS", por Jim Veitch. Páginas 107-158 del Handbook of Programming Languages, Volume IV: Functional and Logic Programming Languages, ed. Peter H. Salus. 1998 (1st edition), Macmillian Technical Publishing; ISBN 1-57870-011-6

Datos: Q252340

[1] "CLOS is a standard. Multiple vendors supply CLOS. CLOS (or parts of it) is being used to add object orientation to other Lisp dialects such as EuLisp or Emacs Lisp." pg 110 of Veitch 1998

[2] «EIEIO (“Enhanced Implementation of Emacs Interpreted Objects”)».

[3] Bobrow, Daniel (1993). «CLOS in context: the shape of the design space» (en inglés). MIT Press. Consultado el 13 de marzo de 2015.

[4] 108 of Veitch 1998

[5] ttps://github.com/sykopomp/sheeple

[1]

[2]

[3]

[4]

[5]