LISP: Macros in lisp

CL macro facility allows the user to define arbitrary functions that convert certain lisp forms into different forms before evaluating or compiling them.Macros makes it possible to write codes that are clear and elegant.In CL, macros are not functionsIn particular, macros cannot be used as the functional arguments to functions such as apply, funcall, or map.

overviewMacro definitionMacro expansionDestructuringCompiler macrosEnvironments

Macro definitiondefmacro construct is used to define a macro.Macro-function determines whether the given function is the name of the macro.macro-function symbolThe argument must be a symbol, if the function has a global function definition( macro definition) then the expansion function is returned else nil is returned.Macro-function cannot work on local variables it can only determine the global definitions.Setf is used as a macro function to install a macro as a symbols global function definitionTo add an optional environment argument to macro-function:macro-function symbol &optional env(setf (macro-function symbol) fn)

defmacro has the same syntax as the defunHere, name is the symbol whose macro definition we are creating.Lambda-list is similar in form to a lambda-list, Forms constitute the body of the expander function.The defmacro function returns the name.defmacro name lambda-list [[ {declaration}* | doc-string ]] {form}* [Macro]

Defmacro lambda-list keywordsSome of the lambda-list key words are: &optional, &rest, &key, &allow-other-keys, &aux&body: this is identical in function to &rest, it informs certain output-formatting and editing functions that the remainder of the form is treated as a body and should be intended accordingly.&whole: this is followed by a single variable that is bound to the entire macro-call form.&environment: this is followed by a single variable that is bound to an environment representing the lexical environment in which the macro call is to be interpreted.

Macro-expansionIf form is a macro call, then macroexpand-1 will expand the macro call once and return two values.( the expansion and t) if form is not macro call then two values ( form and nil) are returned.A form is said to be a macro call only if it is a cons whose car is a symbol that names a macro.The macro expansion function is used for expanding a macro call.

Macro-expansion steps followedOnce the macroexpand-1 has determined that a symbol names a macro, it obtains the expansion function for that macro.The value of the variable *macro-expand-hook* is then called as a function of three arguments: the expansion function, the form, and the environment env.The value returned from this call is taken to be the expansion of the macro call.The evaluator makes use of the macro calls as if through the use of macroexpand-1; eval also makes use of *macroexpand-hook*Macroexpand is similar to macroexpand-1, but repeatedly expands forms until it is no longer a macro call.

DestructingTo make the destructing feature of the defmacro available use:This macro binds the variables specified in lambda-list to the corresponding values in the tree structure resulting from evaluating the expression, then executes the forms as the an implicit progn.If the result of the evaluating expression does not match the destructuring pattern, an error should be signaled.Destructuring-bind lambda-list expression {declaration}* {form}[Macro]

Compiler macrosCompiler macros are used to transform the selective source code when the compiler is processing the code.This is similar to defmacro except the definition is not stored in the symbol function cell of name and is not seen by macroexpand-1The lambda-list may include &environment, &whole and may include destructuring.Return-form is used to exit from the function.define-compiler-macro name lambda-list {declaration | doc-string}* {form}*

Name must be a symbol, if it has been defined as a compiler macro, then the compiler-macro-function returns the macro expansion function, else returns nil.Expander function is obtained as if by a call to compiler-macro-function on the car of the form rather than by a call to macro-function.Two values are returned, the expansion and the value if expansion is true else nil.compiler macro function name &optional envcompiler-macroexpand from &optional envcompiler-macroexpand-1 from &optional env

Three cases when no expansion occurs:There is no compiler macro definition for the car of the form.There is such a definition but there is also a not inline declaration, either globally or in lexical environment env.A global compiler macro definition is shadowed by a local function or macro definition.

EnvironmentsThere is a minimal set of accessors and a constructor for environments.Define-declaration is used to define all the standard declaration specifiers, with the exception of special.The function returns the interpretation of the symbol variable when it appears as a variable within the lexical environment env.Three values are returned:The first value indicates the type of definition in the env which may be :special, :lexical, :symbol-macro, :constantVariable-information variable &optional env

2. The second value is true if there is a local binding else it returns nil.3. The third value is an a-list containing information about the declarations that apply to the apparent binding of the variable.Returns the information about the interpretation of the function when it appears in the functional position of the lexical environment env.This function also returns three values:Type of definition or binding of the function name which is apparent in env (nil, :function, :macro, :special-form) The second value is true if the function is local else nil.The third value is an a-list containing information about declarations that apply to the apparent binding of the function.function-information function &optional env

argument-environment env &key :variable :symbol-macro :fuction :macro :declarereturns a new environment containing the information present in enc augmented with the information provided by the key word arguments.The arguments used are::variable list of symbols that will be visible as bound variable in the new environment,.

:symbol-macro  list of symbol macro definitions

:function  list of function-names that will be visible as local function bindings in the new environment.

:macro list of local macro definitions

:declare list of declaration specifiersdefine-declaration decl-name lambda-list {form}*The macro defines a macro for the named declaration.The function defined by this macro will be called with two augments, a declaration specifier whose car is decl-name and the env argument to augment-environment.

LISP: Macros in lisp

Recommended

More Related Content

What's hot (20)

Viewers also liked (9)

Similar to LISP: Macros in lisp (20)

Recently uploaded (20)

LISP: Macros in lisp