Clojure warning/error при оптимизации оптимизации хвостового вызова

Question

В Scala 2.8.x добавлена ​​новая аннотация (@tailrec), которая дает ошибку времени компиляции, если компилятор не может выполнить оптимизацию хвостового вызова по аннотированному методу.

Есть ли аналогичные объекты в Clojure по отношению к loop/recur?

EDIT: После прочтения первого ответа на мой вопрос (спасибо, Божидар Batsov) и далее искать в документации Clojure, я наткнулся на это:

(повторялись exprs *)
Оценивает exprs по порядку, то, параллельно, перепроверяет привязки точки рекурсии к значениям exprs. Если точкой рекурсии был fn-метод, то он перепроверяет параметры. Если точкой рекурсии был цикл, то он перепроверяет привязки цикла. Затем выполнение переходит к точке рекурсии. Выражение recur должно точно соответствовать арности точки рекурсии. В частности, если точка рекурсии была вершиной вариационного метода fn, то нет никакого сбора аргументов покоя - должен быть принят один seq (или null). Повтор в другом месте, кроме положения хвоста, является ошибкой.

Обратите внимание, что recur - это единственная конструкция, не занимающая стека, в Clojure. Оптимизация хвостового вызова отсутствует, и использование самозапуска для циклирования неизвестных границ не рекомендуется. recur является функциональным и его использование в хвостовом положении проверяется компилятором [акцент мой].

(def factorial 
    (fn [n] 
    (loop [cnt n acc 1] 
     (if (zero? cnt) 
      acc 
      (recur (dec cnt) (* acc cnt)))))) 

Answer 1

При использовании цикла/повтора AFAIK нет оптимизации хвостового вызова. Цитата из официальных документов:

В отсутствии изменяемых локальных переменных, циклы и итерации должны принять другую форму, чем в языках со встроенной для или в то время как конструкций, которые контролируются изменения государство. В функционале языки цикла и итерации заменены/реализованы через рекурсивные вызовы функций. Многие из таких языков гарантируют, что вызовы функций, сделанные в позиции , не потребляют стек пространства и, следовательно, рекурсивные циклы используют постоянное пространство. Поскольку Clojure использует соглашения о вызове Java, он не может и не делает того же оптимизации оптимизации вызовов. Вместо этого он обеспечивает повторный специальный оператор , который выполняет постоянное пространство рекурсивный цикл путем переплета и , прыгающий в ближайший замкнутый контур или функциональную рамку. В то время как не общий, как оптимизация хвостового вызова, он позволяет использовать большинство таких же изящных конструкций , и дает преимущество проверки того, что призывы повторить могут происходят только в положении хвоста.

Answer 2

На самом деле ситуация в Scala w.r.t.Оптимизация хвостового звонка такая же, как в Clojure: его можно выполнить в простых ситуациях, таких как саморекурсия, но не в общих ситуациях, таких как вызов произвольной функции в положении хвоста.

Это связано с тем, как работает виртуальная машина - для TCO работать на JVM, сама JVM придется поддерживать его, что он в настоящее время нет (хотя это может измениться, когда JDK7 отпущена) ,

См., Например, this blog entry для обсуждения ТШО и батутов в Скале. Clojure имеет точно такие же функции, чтобы облегчить рекурсию, не требующую стека (= хвост-оптимизация); это включает в себя выброс ошибки времени компиляции, когда код пользователя пытается вызвать recur в не-хвостовом положении.