emacs - 在宏中使用 clojure 语法引号时是否可以关闭符号限定？

Question

我正在从 clojure 函数生成 emacs elisp 代码。我最初开始使用 defmacro，但我意识到，因为我要跨平台并且必须手动将代码评估到 elisp 环境中，所以我可以轻松地使用标准 clojure 函数。但基本上我所做的是非常宏观的。

我这样做是因为我的目标是创建一个 DSL，我将从中生成 elisp、clojure/java、clojurescript/javascript，甚至可能是 haskell 的代码。

我的“宏”如下所示:

(defn vt-fun-3 []
  (let [hlq "vt"]
    (let [
         f0 'list
         f1 '(quote (defun vt-inc (n) (+ n 1)))
         f2 '(quote (ert-deftest vt-inc-test () (should (= (vt-inc 7) 8))))]
      `(~f0 ~f1 ~f2)
      )))

这会生成一个包含两个函数定义的列表——生成的 elisp defun 和一个单元测试:

(list (quote (defun vt-inc (n) (+ n 1))) (quote (ert-deftest vt-inc-test () (should (= (vt-inc 7) 8)))))

然后从 emacs 暂存缓冲区，我使用 clomacs https://github.com/clojure-emacs/clomacs导入elisp环境:

(clomacs-defun vt-fun-3 casc-gen.core/vt-fun-3)
(progn
    (eval (nth 0  (eval  (read (vt-fun-3)))))
    (eval (nth 1  (eval  (read (vt-fun-3))))))

然后我可以从这里运行函数和单元测试:

(vt-inc 4)
--> 5
(ert "vt-inc-test")
--> t

注意:与所有宏一样，语法引用和转义非常脆弱。我花了一段时间才弄清楚在 elisp 中正确评估它的正确方法(整个“(quote(list..)”前缀)。

无论如何，正如第一个“let”上存在的“hlq”(高级限定符)所暗示的那样，我想用这个 hlq 作为任何生成符号的前缀，而不是对其进行硬编码。

不幸的是，当我在“f1”上使用标准引号和转义符时:

 f1 '(quote (defun ~hlq -inc (n) (+ n 1)))

这会产生:

    (list (quote (defun (clojure.core/unquote hlq) -inc (n) (+ n 1))) 
(quote (ert-deftest vt-inc-test () (should (= (vt-inc 7) 8)))))

换句话说，它将“~”替换为“clojure.core/unquote”，这不是我想要的。

clojure 语法反引号:

f1 `(quote (defun ~hlq -inc (n) (+ n 1)))

没有这个问题:

(list (quote (casc-gen.core/defun vt casc-gen.core/-inc (casc-gen.core/n) (clojure.core/+ casc-gen.core/n 1))) (quote (ert-deftest vt-inc-test () (should (= (vt-inc 7) 8)))))

它会根据需要正确转义并插入“vt”(我仍然需要努力连接到名称的词干，但我并不担心)。

问题解决了吧？不幸的是，语法 quote 完全限定了所有符号，这是我不想要的，因为代码将在 elisp 下运行。

有没有办法在使用语法引号(反引号)时关闭符号限定？

在我看来，语法引用比标准引用更“有能力”。这是真的？或者，您能否通过诡计使标准引用的行为始终与语法引用相同？如果你不能关闭语法引用的限定，我怎么能用标准引用让它工作呢？如果我尝试将此作为 defmacro 来执行，我会得到什么吗？

最坏的情况是我必须在生成的 elisp 上运行正则表达式并手动删除任何限定条件。

Answer 1

在使用语法引用时无法“关闭”符号限定。但是，您可以这样做:

(let [hlq 'vt] `(~'quote (~'defun ~hlq ~'-inc (~'n) (~'+ ~'n 1))))

这确实很乏味。没有语法引号的等价物是:

(let [hlq 'vt] (list 'quote (list 'defun hlq '-inc '(n) '(+ n 1))))

然而，当使用标准的 quote 作为整个表单的前缀时，无法获得您想要的输出。

关于改用 defmacro 的问题，据我了解您的意图，我认为您不会通过使用宏获得任何好处。