Zrozumienie Common Lisp zrobić makro składnię

Question

(do ((n 0 (1+ n)) 
    (cur 0 next) 
    (next 1 (+ cur next))) 
    ((= 10 n) cur))) 

To jest przykład z Lisp podręcznika na temat słów kluczowych „zrobić”

„zrób” podstawowy szablon jest:

(do (variable-definitions*) 
    (end-test-form result-form*) 
statement*) 

Ale na tym przykładzie, że to nie jest dla mnie jasne, która część jest która. A także, co robią te środkowe 2 linie?

Dziękujemy!

Answer 1

swój dobry wcięcia wyraźnie pokazuje, która część jest który:

(do ((n 0 (1+ n)) 
    ^(cur 0 next) 
    |(next 1 (+ cur next))) 
    | 
    +-- first argument of do 

    ((= 10 n) cur))) 
    ^
    | 
    +-- start of second argument of do 

Look, że line up ładnie, a materiał wewnętrzny jest wcięty:

((n 0 (1+ n)) 
    (cur 0 next) 
    (next 1 (+ cur next))) 
    ^
    | 
    +- inner material of argument: three forms which are 
     indented by 1 character and aligned together. 

Twój do nie ma tam trzeci argument: nie ma ciała s tatements (pusta pętla).

Answer 2

(do ((n 0 (1+ n)) ;declares n, initially 0, n+1 each subsequent iteration) 
    (cur 0 next) ;declares cur, initially 0, then old value of next 
    (next 1 (+ cur next))) ;declares next, initially 1, then the sum of (the old) cur and next 
    ((= 10 n) ;end condition (ends when n = 10) 
    cur) ; return value 
    ;empty body 
) 

przekłada się na C-jak kod

for(n=0, cur=0, next=1 ; 
    !(n == 10) ; 
    n=old_n+1, cur=old_next, next = old_cur + old_next) 
{ 
    //do nothing 
    old_n = n; 
    old_cur = cur; 
    old_next = next; 
} 
return cur; 

notabene powinny być w stanie zobaczyć, że kod ten zwraca 10. liczb Fibonacciego

---

Opcjonalnie EBNF/składni formalnej:

Składnia zgodnie z Hyperspec jest:

(do ({var | (var [init-form [step-form]])}*) 
    (end-test-form result-form*) 
    declaration* 
    {tag | statement}*) 

Zrozumienie tego wymaga znajomości EBNF i duże kawałki o Hyperspec

Answer 3

(do ((n 0 (1+ n)) 
    (cur 0 next) 
    (next 1 (+ cur next))) 
    ((= 10 n) cur)) 

zrobić ma 3 części.

1. zmienna
2. zakończyć warunek
3. ciała

W tym konkretnym przypadku nie ma ciała. Cała prawdziwa praca wykonana przez 1. i 2. Najpierw ustaw 3 vary i podaj wartość początkową i formę kroku. Na przykład. n ustawiony na 0, a w każdej iteracji jest ponadto kroki: (1+ n), która zwiększa zawartość n

terminate warunku jest ((= n 10) cur): gdy n równa 10. Następnie zwrócić cur w całkowitej wartości powrotnej tego do ekspresji.

Połącz wszystkie te, w tym do przykładzie będzie to suma od 1 do 10, co daje 55