Kiểm soát việc tạo biểu tượng trong các macro Clojure

Question

Tôi đang cố gắng (như một bài tập tự học) để tạo một macro Clojure sẽ tạo mã để áp dụng một hàm cho một dãy số nguyên và tổng kết quả, ví dụ:

f (0) + f (1) + f (2) + f (3)

Đây là nỗ lực của tôi:

(defmacro testsum [func n] 
    `(fn [x#] (+ ~@(map (fn [i] `(~func x#)) (range n))))) 

Tuy nhiên cái gì đó dường như đi sai với x # gensym và tôi kết thúc với hai phiên bản khác nhau của x và do đó chức năng không hoạt động:

(macroexpand '(testsum inc 3)) 

cho:

(fn* ([x__809__auto__] 
    (clojure.core/+ 
    (inc x__808__auto__) 
    (inc x__808__auto__) 
    (inc x__808__auto__)))) 

Đây chính xác là những gì tôi muốn tách biệt với các phiên bản 809 và 808 khác nhau của x .....

Tôi đang làm gì sai? Tôi nghĩ rằng gensym tự động có nghĩa là để tạo ra một biểu tượng duy nhất cho chính xác loại mục đích này? Có cách nào tốt hơn để làm điều này?

Answer 1

foo# các từ khóa kiểu chỉ hợp lệ bên trong cú pháp trích dẫn nơi chúng được tạo. Trong mã của bạn, hai x# s được tạo ra trong khối cú pháp-quote khác nhau:

(defmacro testsum [func n] 
    `(fn [x#] (+ ~@(map (fn [i] `(~func x#)) (range n))))) 
    ^- s-q1  ^-unquote  ^- s-q2 

Để sửa lỗi này, sử dụng một rõ ràng (gensym) gọi:

(defmacro testsum [func n] 
    (let [x (gensym "x")] 
    `(fn [~x] (+ ~@(map (fn [i] `(~func ~x)) (range n)))))) 

Và việc mở rộng vĩ mô ((macroexpand '(testsum inc 3))):

(fn* ([x4966] (clojure.core/+ (inc x4966) (inc x4966) (inc x4966))))