小策士：length0和MK-長度

Question

小陰謀家給出page 165以下的仍是功能長度。但這是如何工作的？它看起來像長度拉姆達被傳遞到MK-長度拉姆達，其與長度拉姆達本身作爲參數傳遞評估長度拉姆達。那麼，當(length (cdr l))底部評估length只是長度lambda本身。但是長度λ需要兩個curried參數：length和l。那麼(length (cdr l))如何纔有意義呢？

((lambda (mk-length) 
    (mk-length mk-length)) 
(lambda (length) 
    (lambda (l) 
    (cond 
     ((null? l) 0) 
     (else (add1 
       (length (cdr l)))))))) 

Answer 1

的小策士正在建立，這將更大和更長的長度列表的操作功能。部分長度爲_≤0的是它只適用於長度小於或等於零的列表（因爲沒有負長度列表，這意味着長度爲零的列表）。您已故意顯示的代碼僅適用於長度爲零的列表。事實上，這甚至在文中指出了page 165：

答：如果我們能夠創建在這一點上MK-長度到永恆的另一個應用程序？
B：這隻會將問題推遲到一個，此外，我們該怎麼做呢？
答：好吧，既然無人問津，我們傳遞給MK-長度什麼功能，我們可以通過它MK-長度開始。
B：這是正確的想法。然後我們調用mk-length對永恆和這個結果cdr，這樣我們就能得到更多的塔。
答：那麼這仍然是長度

((lambda (mk-length) 
    (mk-length mk-length)) 
(lambda (length) 
    (lambda (l) 
    (cond 
     ((null? l) 0) 
     (else (add1 
       (length (cdr l)))))))) 

B：是的，我們甚至可以使用MK-長度代替長度：

((lambda (mk-length) 
    (mk-length mk-length)) 
(lambda (mk-length) 
    (lambda (l) 
    (cond 
     ((null? l) 0) 
     (else (add1 
       (mk-length (cdr l)))))))) 

- 答： W hy我們想要那麼做嗎？
B：所有名稱相同，但有些名稱與其他名稱相同。
- 答：真：只要我們一致地使用名稱，我們就好。
B： And mk-length是一個遠比長度平等的名稱。如果我們使用像mk-length這樣的名稱，則不斷提醒mk-length的第一個參數是mk-length。

在page 166，作者表明，對於長度爲0或1的列表工作的版本（即，≤1）。最後，在page 167上，他們得到一個適用於任何長度列表的版本。如何是作品進行了更詳細的另一個問題描述：

• Y combinator discussion in "The Little Schemer"

你也可以找到感興趣的下列問題：

• how to do this length<=1 more than once?（約第166頁的長度_≤1）
• The mechanism of anonymous function to call itself of Scheme?