Ostrzeżenie Lispa: xx nie jest zadeklarowane ani powiązane, będzie traktowane tak, jakby zostało zadeklarowane SPECJALNE

Question

Jestem nowy w seplenieniu i piszę kilka prostych programów, aby lepiej się z nim zapoznać. Jedną z rzeczy, które robię, jest pisanie rekursywnej i iteracyjnej wersji metody czynnikowej. Jednak natknąłem się na problem i nie mogę go rozwiązać.

Widziałem podobny błąd na Lisp: CHAR is neither declared nor bound , ale rozwiązanie nie zostało faktycznie osiągnięte, inne niż PO zdał sobie sprawę, że popełnił "błąd pisania". W REPL mogę używać funkcji setf i działa dobrze. Używam również LispBox z emacs. Byłbym wdzięczny za wszelkie sugestie!

(defun it-fact(num) 
    (setf result 1) 
    (dotimes (i num) 
    (setf result (* result (+ i 1))) 
) 
) 

UWAGA w IT-FACT: wynik jest ani uznane ani związana, będzie traktowana tak, jakby zostały uznane specjalnych.

Answer 1

Trzeba powiązać zmiennej „wynik” - za pomocą „pozwolić” na przykład - przed uruchomieniem z niego korzystać:

(defun it-fact(num) 
    (let ((result 1)) 
    (dotimes (i num) 
     (setf result (* result (+ i 1)))))) 

w celu uzyskania dalszych informacji może chcesz przeczytać this ...

Answer 2

W Lispie zmienne lokalne muszą być jawnie zadeklarowane za pomocą LET lub innych formularzy, które tworzą zmienne lokalne. To różni się od np. Python lub JavaScript gdzie przypisanie zmiennej tworzy zmienną w bieżącym zakresie leksykalnym.

Twój przykład może być zapisane tak:

(defun it-fact(num) 
    (let ((result 1)) 
    (dotimes (i num) 
     (setf result (* result (+ i 1)))))) 

Off-topic Komentarz: nie ma sensu wprowadzanie zamykających nawiasów na oddzielnych liniach.

Answer 3

Istnieje kilka rzeczy źle lub nie tak dobre Lisp styl:

(defun it-fact(num)      ; style: use a space before (
    (setf result 1)      ; bad: variable result is not introduced 
    (dotimes (i num) 
    (setf result (* result (+ i 1)))  ; bad: extra addition in each iteration 
)          ; style: parentheses on a single line 
)          ; bad: no useful return value 

Możliwa wersja:

(defun it-fact (num) 
    (let ((result 1))      ; local variable introduced with LET 
    (loop for i from 1 upto num   ; i starts with 1, no extra addition 
     do (setf result (* result i))) 
    result))        ; result gets returned from the LET