3 Optimizing Lisp Programs
special declaration, declarations are optional and are ignored by the interpreter. They can be used to advise the Compiler, however, to produce faster and more efficient code. This applies in particular to type declarations. You can make declarations with either thedeclare special form or theproclaim function. You can use thedeclare special form to make local declarations within other Common Lisp forms. Local declarations observe the rules of lexical scope. A local declaration has the following form:
(declare declaration-form ...)You can use the
proclaim function to make global declarations. A proclamation is the same thing as a global declaration. A global declaration can be overridden by a local declaration. Note that theproclaim function evaluates its argument, while thedeclare special form does not. A global declaration has the following form:(proclaim declaration-form)Liquid Common Lisp provides the following categories of declarations:
arglist dynamic-extent ftype ignore inline notinline optimize restrictive-ftype special type type-reduce
Generated with Harlequin WebMaker