如何编写一个方案宏来定义变量并以字符串形式获取该变量的名称？

Question

这主要是

  (define (get-cpyfunc name type)
    (lambda args
      (if libpython
        (apply (get-ffi-obj name libpython type) args)
        (error "Call init before using any Python C functions"))))

所以现在这就是我想要做的。我想定义一个宏，它将采用以下内容：

(define-cpyfunc Py_Initialize (_fun -> _void))

并将其转换为：

(define Py_Initialize (get-cpyfunc "Py_Initialize" (_fun -> _void)))

我一直在阅读宏文档以尝试弄清楚这一点，但我似乎无法找到使其工作的方法。谁能帮我解决这个问题（或者至少让我大致了解宏的外观）？或者有没有办法不用宏来做到这一点？

Answer 1

我已经在另一篇文章中回答了这个问题的大部分内容（我没有看到这个）。使用像这样提取绑定的函数很好，但这里可能出现的一个问题是，由于仅在调用结果函数时才生成绑定，因此每次调用时都会重新创建此绑定。快速解决此问题的一个简单方法是使用承诺，如下所示：

(require scheme/promise)
(define (get-cpyfunc name type)
  (define the-function
    (delay (if libpython
             (get-ffi-obj name libpython type)
             (error "Call init before using any Python C functions"))))
  (lambda args (apply (force the-function) args)))

但这本质上与我在上一个问题中发布的代码几乎相同。

更多随机注释：

• get-ffi-obj 将接受一个符号作为要绑定的名称 - 这是有意的，以使此类宏（如上一个问题）变得容易。

• 在宏中使用(symbol->string 'name)就可以了。正如我在上面对 Nathan 的评论的评论回复中指出的，这意味着它在运行时被调用，但 mzscheme 应该能够对其进行优化，因此无需尝试编写一些复杂的宏来在编译时完成这项工作。

• 查看 PLT 目录——您会发现一个名为 ffi 的集合。这是各种风格的装订示例的集合。创建绑定的宏在这些示例中非常常见。

Answer 2

为什么不将生成的代码更改为

(define Py_Initialize (get-cpyfunc 'Py_Initialize (_fun -> _void)))

然后让 get-cpyfunc 运行 (symbol->string name)？

诚然，可能有一种方法可以用 syntax-case 来做到这一点（尽管我永远记不起它的语法），而且如果你使用带有 CL 的Scheme，那肯定是这样。 esque 定义宏。

Answer 3

这不是完整的答案，但我想出了一个满足这两个要求的宏（定义一个变量和一个带有该变量名称的字符串）：

> (define-syntax (my-syntax stx)
  (syntax-case stx ()
  [(_ id)
  #'(define-values (id) (values (symbol->string (quote id))))]))
> (my-syntax y)
> y
"y"