Lisp рекурсивные макро проблемы

Question

Я пишу рекурсивный макрос Лиспа с номером n и оценивая тело n раз (упражнение от ANSI Lisp). Я пробовал два способа сделать это - сам макро-вызов в своем расширении и макрос расширяется в локальную рекурсивную функцию. Я не работаю так, как хочу.

Вот первый - у него переполнение стека, но когда я смотрю его расширение с помощью macroexpand-1, это кажется мне прекрасным.

(defmacro n-times (n &rest body) 
    (let ((i (gensym))) 
    `(let ((,i ,n)) 
    (if (zerop ,i) nil 
     (progn 
      ,@body 
      (n-times (- ,i 1) ,@body)))))) 

Вот второй один - он делает ошибку, «неопределенная функция #xxxx вызвана с аргументами (г)» где #xxxx это имя GENSYM и г составляет 1 меньше числа я называю его с. Я думаю, что есть проблема с тем, как я использую gensyms и flet вместе, но я не уверен, как это сделать правильно.

(defmacro n-times (n &rest body) 
    (let ((g (gensym))) 
    `(flet ((,g (x) 
       (if (zerop x) nil 
        (progn 
        ,@body 
        (,g (- x 1)))))) 
     (,g ,n)))) 

Answer 1

Чтобы ответить на ваш первый вопрос, у вас есть рекурсивное расширение макросов, которое никогда не перестает рекурсивно. Наличие if не останавливает рекурсивное расширение макросов, так как макрораспределение происходит во время компиляции, и ваш if происходит во время выполнения.

Чтобы ответить на второй вопрос, вы не можете использовать flet для указания рекурсивных функций, вместо этого вы должны использовать labels.

Answer 2

Поскольку расширение макросов в Common Lisp происходит до начала выполнения, это немного сложно.

Помните, что макрос видит исходный код. Это означает:

• Число n должно передаваться как число, а не переменная, когда вы используете макрос. Таким образом, при времени макроразложения число известно. Для такого макроса я бы проверял это в макросе - в противном случае у вас всегда возникает соблазн написать что-то вроде (let ((n 10)) (n-times n ...)) - это не сработает.

• макрос должен вычислить рекурсивную итерацию. Таким образом, логика находится в макросе, а не в сгенерированном коде. Каждый макрос должен генерировать код, что на один шаг проще при увеличении макроса - пока не будет достигнут основной случай.