1

我需要在方案中编写 lisp 宏（请参阅卫生宏和语法规则等），它将函数调用和 Alist 作为参数

我希望调用该函数的函数和宏具有如下语法：

(foo '(10 (a (lambda () (display "10")) b (lambda () (display "20"))))

或不带引号的宏。

我的最后一个代码正在运行，但不确定这是否是你想像这样编写函数/宏的方式。看来我需要双反引号，但不知道怎么写。（我现在正在阅读 Paul Graham 的 On Lips，他说双反引号非常困难，只有定义宏的宏才需要，但似乎这就是我需要的）。

(define (foo expr)
    `(list ,(car expr)
           (,(string->symbol "quasiquote") ,(pair-map (lambda (a b)
                                                        (cons (symbol->string a)
                                                              (list 'unquote b)))
                                                      (cadr expr)))))

(define-macro (bar expr)
   (foo expr))

(define xx (bar (10 (a 20 b (lambda () (display "x") (newline))))))
;; (list 10 `((a . ,20) (b . ,(lambda () (display "x") (newline))))
(define bfn (cdr (assoc "b" (cadr xx)))))
(bfn)
;; "x"

这是pair-map的定义

(define (pair-map fn seq-list)
  "(seq-map fn list)

   Function call fn argument for pairs in a list and return combined list with
   values returned from function fn. It work like the map but take two items from list"
  (let iter ((seq-list seq-list) (result '()))
    (if (null? seq-list)
        result
        (if (and (pair? seq-list) (pair? (cdr seq-list)))
            (let* ((first (car seq-list))
                   (second (cadr seq-list))
                   (value (fn first second)))
              (if (null? value)
                  (iter (cddr seq-list) result)
                  (iter (cddr seq-list) (cons value result))))))))

(string->symbol "quasiquote")我不能使用双反引号，这可以用双反引号/准引号写吗？这应该是什么样子？

我在问这是否可以用不同的方式编写，这样我就可以在我自己的 lisp 解释器中解决一些问题（不确定是否工作正常，但似乎这个最终版本在 guile 中的工作方式相同）。

4

1 回答 1

0

我想出了更短的 quasiquote 版本，但它仍然需要插入符号：

(define (foo expr)
    `(list ,(car expr)
           (,'quasiquote ,(pair-map (lambda (a b)
                                      `(,(symbol->string a) . (,'unquote ,b)))
                                    (cadr expr)))))
于 2019-06-05T17:02:10.787 回答