The specialization store system provides a new kind of function, called a store function, whose behavior is determined by the types of objects given as arguments to the store function.
Associated with each store function is a set of specialization objects. Each specialization encapsulates behavior and the domain for which the behavior is defined.
A premise of specialization store is that all specializations should perform the same task. Specializations should only differ in how the task is performed. This premise resolves ambiguities that arise when using types, rather than classes, to select the most specific specialization to apply.
Specialization store is a major component of a related system, the template-function system. A wiki page in this project outlines one of the problems the specialization store system was designed to address.
The following list summarizes the major differences between a store function and common lisp's generic function: - Types rather than classes are used to select behavior. - Optional, rest and/or keyword arguments are considered when determining behavior. - Initialization forms for optional and keyword arguments are part of the state of a store function. - Support for compile time optimizations. - No support for method/specialization combination. - No support for argument precedence. - No support for class precedence.
The specialization store system includes a meta object protocol to allow users to change the default implementation.
Documentation for this project is available in the project wiki.
Great effort has been spent on implementing this system such that it is portable to all implementations. The compile time dispatch functionality makes extensive use of compiler macros and the CLTL2 environment API.
The specialization store system uses ASDF to the manage compilation and loading of source files.
The specialization store system can be loaded in to your lisp environment by evaluating the following forms
The specialization store system includes a large suite of tests. These tests can be executed by evaluating the following forms
- Mark Cox
- Simplified BSD License variant