Las macros pueden ser considerados como funciones que aceptan y retornan árboles de sintaxis abstracta (expresiones-S de Lisp).