fn，让内部clojure宏观

Question

我遇到了Clojure宏的某些局限性。我不知道如何优化以下代码？

(defmacro ssplit-7-inefficient [x]
  (let [t 7]
    ;;                    Duplicated computation here!
    `(do [(first          (split-with #(not (= '~t %)) '~x))
          (drop 1 (second (split-with #(not (= '~t %)) '~x)))])))

(ssplit-7-inefficient (foo 7 bar baz))
;; Returns: [(foo) (bar baz)]

这是一些不起作用的方法：

(defmacro ssplit-7-fails [x]
  (let [t 7]
    `(do ((fn [[a b]] [a (drop 1 b)]) (split-with #(not (= '~t %)) '~x)))))

(ssplit-7-fails (foo 7 bar baz))
;; Error: Call to clojure.core/fn did not conform to spec.

(defmacro ssplit-7-fails-again [x]
  (let [t 7]
    `(do
       (let [data (split-with #(not (= '~t %)) '~x)]
         ((fn [[a b]] [a (drop 1 b)]) data)))))

(ssplit-7-fails-again (foo 7 bar baz))
;; Error: Call to clojure.core/let did not conform to spec.

Answer 1

请注意， split-with-with 仅分配一次。您可以使用某些破坏性来获得想要的东西：

(defmacro split-by-7 [arg]
  `((fn [[x# [_# & z#]]] [x# z#]) (split-with (complement #{7}) '~arg)))

(split-by-7 (foo 7 bar baz))
=> [(foo) (bar baz)]

在其他用例中， 也很有用：

(defmacro split-by-7 [arg]
  `(->> (partition-by #{7} '~arg)
        (remove #{[7]})))

(split-by-7 (foo 7 bar baz))
=> ((foo) (bar baz))

Answer 2

关于clojure中的宏的推理并不容易 - （在我的视图中， acroexpand -1 与Common Lisp的 Macroexpand -1 ... ）。

我的方式是第一个建立助手功能的方法。

(defn %split-7 [x]
  (let [y 7]
    (let [[a b] (split-with #(not= y %) x)]
      [a (drop 1 b)])))

此功能使用破坏性，因此 split-with-with-with 是“有效的”。

它几乎可以做到宏应该做的事情。只是那个必须引用
该论点 - 使其有效。

(%split-7 '(a 7 b c)) 
;;=> [(a) (b c)]

从这个步骤到宏并不困难。

宏插入助手函数的调用时，宏应自动引用参数。

(defmacro split-7 [x]
  `(%split-7 '~x))

这样我们就可以称呼：

(split-7 (a 7 b c))
;; => [(a) (b c)]

使用此技巧，甚至将功能概括为：

(defn %split-by [x y]able like this
  (let [[a b] (split-with #(not= y %) x)]
    [a (drop 1 b)]))

(defmacro split-by [x y]
  `(%split-by '~x ~y))

(split-by (a 7 b c) 7)
;; => [(a) (b c)]

(split-by (a 7 b c 9 d e) 9)
;; => [(a 7 b c) (d e)]

宏体内的（辅助）功能的使用 - 甚至其他宏 - 或递归功能或递归宏 - 称为其他宏的宏 - 宏（称为其他宏）宏是。因为它表明在制定/定义宏时可以使用整个LISP。大多数语言的宏通常无法做的事情。