我可以将Clojure表单从一个包转换为另一个包吗？

2023年12月28日 214次阅读

背景

我为Emacs编写了一个hack,它允许我将Clojure表单从编辑器缓冲区发送到REPL缓冲区.它工作得很好,除了如果两个缓冲区在不同的命名空间中,复制的文本通常没有意义,或者更糟糕的是,它可能有意义,但与编辑器缓冲区中的含义不同.

我想转换文本,以便在REPL缓冲区中有意义.

Common Lisp中的一个解决方案

在Common Lisp中,我可以使用以下函数执行此操作：

;; Common Lisp

(defun translate-text-between-packages (text from-package to-package)
  (let* ((*package* from-package)
         (form (read-from-string text))
         (*package* to-package))
    (with-output-to-string (*standard-output*)
                           (pprint form))))

并使用示例：

;; Common Lisp

(make-package 'editor-package)
(make-package 'repl-package)

(defvar repl-package::a)

(translate-text-between-packages "(+ repl-package::a b)"
                                 (find-package 'editor-package)
                                 (find-package 'repl-package))
;; => "(+ A EDITOR-PACKAGE::B)"

输入字符串和输出字符串中的包名称限定条件不同 – 这正是解决在包之间复制和粘贴文本的问题所需要的.

(顺便说一句,有关于如何在Common Lisp进程中运行翻译代码并在Emacs世界和Common Lisp世界之间移动内容的东西,但我对此很好,我不想特别想进入它. )

Clojure中的非解决方案

这是Clojure的直接翻译：

;; Clojure

(defn translate-text-between-namespaces [text from-ns to-ns]
  (let [*ns* from-ns
        form (read-string text)
        *ns* to-ns]
    (with-out-str
      (clojure.pprint/pprint form))))

并使用示例：

;; Clojure

(create-ns 'editor-ns)
(create-ns 'repl-ns)

(translate-text-between-namespaces "(+ repl-ns/a b)"
                                   (find-ns 'editor-ns)
                                   (find-ns 'repl-ns))
;; => "(+ repl-ns/a b)"

所以Clojure中的翻译功能一无所获.这是因为Common Lisp和Clojure中的符号和包/命名空间的工作方式不同.

在Common Lisp中,符号属于一个包,并且符号包的确定在读取时发生.

在Clojure中,出于好的理由,符号不属于命名空间,并且符号命名空间的确定发生在评估时.

这可以在Clojure中完成吗？

最后,我的问题是：我可以将Clojure代码从一个名称空间转换为另一个名称空间吗？

最佳答案 我不了解您的用例,但这里有一种方法可以将符号从一个名称空间转换为另一个名称空间.

(require 'clojure.walk 'clojure.pprint)

(defn ns-trans-form [ns1 ns2 form]
  (clojure.walk/prewalk
    (fn [f] (if ((every-pred symbol? #(= (namespace %) ns1)) f)
                (symbol ns2 (name f))
                f))
    form))

(defn ns-trans-text [ns1 ns2 text]
    (with-out-str
      (->> text 
           read-string 
           (ns-trans-form ns1 ns2) 
           clojure.pprint/pprint)))

(print (ns-trans-text "editor-ns" "repl-ns" "(+ editor-ns/a b)" ))
;=> (+ repl-ns/a b)

因此,editor-ns / a被转换为repl-ns / a.

点赞