Анафорические макросы на Clojure

Во все той же незабвенной «On Lisp» Пола Грэма в главе 14 рассматривается такое понятие, как анафорический макрос. Анафора в естественном языке – термин, означающий ссылку на что-то в предшествующем разговоре. В языке программирования анафора – отсылка к предыдущим результатам вычислений. Например.

(defn my-long-calculation [param] param)

(aif (my-long-calculation 15)

   (println result)

   (println "The result is nil!")

Здесь aif – анафорический if, который результат вычисления функции my-long-calculation присвоит переменной result. Соответственно, result здесь – это анафора, которая ссылается на результат вычислений. Кроме того, ветка then здесь будет выполнена только в случае, когда result не равен nil, иначе управление перейдет ветке else.

Забавный, в общем макрос. Тем более, что, обратите внимание, пользователь переменную result не создает, это делает за пользователя макрос aif. Но в Clojure его нет, и нам предстоит его написать.

Проблема в том, что в Clojure захват лексической привязки result – очень неидиоматичное решение. Мне даже не удалось найти стандартного способа это сделать. Например.

(defmacro a [body]

   `(let [b 15]

      ~@body))

(a (println b))

Здесь Clojure создаст исключение «Can't let qualified name: user/b». Можно, конечно, воспользоваться gensym:

(defmacro a [body]

   (let [b (gensym "b")]

     `(let [~b 15]

       ~@body)))

(a (println b))

Здесь ошибка уже «Unable to resolve symbol: b in this context», потому что gensym генерирует уникальное имя во избежание захвата переменной (variable capture).

Создадим свою версию gensym, результатом которой было бы предсказуемое имя переменной.

(defn make-sym [name] (. clojure.lang.Symbol (intern (str name))))

Теперь можно написать анафорический макрос aif.

(defmacro aif

  ([expr then]

     (let [result (make-sym "result")]

       `(let [~result ~expr]

           (if (not (nil? ~result))

            ~then))))

  ([expr then else]

     (let [result (make-sym "result")]

      `(let [~result ~expr]

          (if (not (nil? ~result))

           ~then

           ~else)))))

Одним словом, анафорические макросы в Clojure писать так же легко, как и любые другие.