Niçin geçerli bir navlun hedefi olmamalı? Clojure içinde

Question

bu geçerlidir: Ancak

(loop [a 5] 
    (if (= a 0) 
    "done" 
    (recur (dec a)))) 

bu değildir:

(let [a 5] 
    (if (= a 0) 
    "done" 
    (recur (dec a)))) 

Yani, merak ediyorum: neden döngü vardır ve ayrı izin, aslında verilen her ikisi de (en azından kavramsal olarak) sözcüksel bağlamaları tanıtmak? Öyleyse, neden olmasa da döngü nüks hedef olur?

DÜZENLEME: orijinal olarak yanlış olduğunu fark ettiğim "döngü hedefi" yazdı.

(defn pascal-step [v n] 
    (if (pos? n) 
     (let [l (concat v [0]) 
      r (cons 0 v)] 
     (recur (map + l r) (dec n))) 
     v)) 

Bu işlev, bir m inci hattı ile Pascal üçgeni n+m inci hattı hesaplar:

Answer 1

aşağıdaki örneğe bakalım.

Şimdi, bu let hedefinin recur hedef olduğunu düşünün. Bu durumda pascal-step işlevini let numaralı bağlayıcısından, recur işlecini kullanarak yinelemeli olarak çağıramayacağım.

(defn pascal-line [n] 
    (loop [v [1] 
     i n] 
    (if (pos? i) 
     (let [l (concat v [0]) 
       r (cons 0 v)] 
      (recur (map + l r) (dec i))) 
     v))) 

Şimdi bir pascal üçgeninin n inci hattını hesaplarken ediyoruz:

Şimdi bu örnek biraz daha karmaşık yapalım. Gördüğünüz gibi, hem loop hem de let burada ihtiyacım var.

Bu örnek oldukça basittir, bu nedenle let bağlamayı doğrudan (concat v [0]) ve (cons 0 v) kullanarak kaldırmayı önerebilirsiniz, ancak size yalnızca konsepti gösteriyorum. loop'un içinde let'un kaçınılmaz olduğu daha karmaşık örnekler olabilir.