我的 lisp 宏在最新的诡计中停止工作

Question

我有我在 2010 年编写的宏，它用于使用 Alists(这里是包含函数 https://jcubic.pl/struct.txt 的整个文件)管理结构，例如在 Common Lips 中

)。

(define-macro (defstruct name . fields)
"Macro implementing structures in guile based on assoc list."
(let ((names (map (lambda (symbol) (gensym)) fields))
(struct (gensym))
(field-arg (gensym)))
`(if (not (every-unique ',fields))
(error 'defstruct "Fields must be unique")
(begin
(define (,(make-name name) ,@names)
(map cons ',fields (list ,@names)))
,@(map (lambda (field)
`(define (,(make-getter name field) ,struct)
(cdr (assq ',field ,struct)))) fields)
,@(map (lambda (field)
`(define (,(make-setter name field) ,struct ,field-arg)
(assq-set! ,struct ',field ,field-arg)
,field-arg)) fields)
(define (,(make-predicate name) ,struct)
(and (struct? ,struct)
(let ((result #t))
(for-each (lambda (x y)
(if (not (eq? x y)) (set! result #f)))
',fields
(map car ,struct))
result)))))))

它工作正常。我最近在 JavaScript 中为我的 LIPS 更新了这个宏(它基于方案)，当我调用它时，它返回false，并想知道这是否是它在诡计中的工作方式。但事实证明，它根本不起作用。它显示此错误：

编译表达式时：错误：语法错误：未知位置： 表达式上下文中的定义，其中不允许定义， In Form (define (make-point #{ g746}# #{ g747}#) (map cons (quote (x y)) (列表 #{ g746}# #{ g747}#))

为什么我有这个错误以及如何修复它，所以它再次在诡计中工作？我很久以前我不记得我是如何测试这段代码的，但是使用加载函数打开诡计或将代码复制粘贴到解释器中都会给出相同的错误。

我在GNU/Linux上使用guile 2.0.14。

PS：我更喜欢使用 lisp 宏 IMO 它们优于奇怪的方案卫生宏。

Answer 1

看起来现代 guile 方案没有将 if 中的开头视为启动新定义上下文的有效选项。这可能是一个错误或方案规范的更好对齐方式。但是以下示例代码显示了为更新的 guile 修复代码的技术(您可能需要创建定义值，因为它是 guile 的最新添加。 附言在 guile 中使用 lisps 宏是一个笨拙的东西，如果你打算做很多事情，它会给你带来麻烦，宏就像 parens， 如果你习惯了，它会感觉很自然。

这是代码，

(define-macro (defstruct name . fields)
"Macro implementing structures in guile based on assoc list."
(let* ((names (map (lambda (symbol) (gensym)) fields))
(struct    (gensym))
(field-arg (gensym))
(sname     (make-name name))
(predname  (make-predicate name))
(getnames  (map (lambda (f) (make-getter name f)) fields))
(setnames  (map (lambda (f) (make-setter name f)) fields)))
`(define-values (,sname ,predname ,@getnames ,@setnames)
(if (not (every-unique ',fields))
(error 'defstruct "Fields must be unique")
(let ()
(define (,sname ,@names)
(map cons ',fields (list ,@names)))
,@(map (lambda (field)
`(define (,(make-getter name field) ,struct)
(cdr (assq ',field ,struct)))) fields)
,@(map (lambda (field)
`(define (,(make-setter name field) ,struct ,field-arg)
(assq-set! ,struct ',field ,field-arg)
,field-arg)) fields)
(define (,predname ,struct)
(and (struct? ,struct)
(let ((result #t))
(for-each (lambda (x y)
(if (not (eq? x y)) (set! result #f)))
',fields
(map car ,struct))
result)))
(values ,sname ,predname ,@getnames ,@setnames))))))

这是define-values的一个版本(查看#'后的代码，看看它的作用)

(define-syntax define-values
(lambda (x)
(syntax-case x ()
((_ (f ...) code ...)
(with-syntax (((ff ...) (generate-temporaries #'(f ...))))
#'(begin
(define f #f)
...
(call-with-values (lambda () code ...)
(lambda (ff ...)
(set! f ff)
...))))))))