Cảnh báo Lisp: xx không được khai báo cũng như bị ràng buộc, nó sẽ được xử lý như thể nó được khai báo ĐẶC BIỆT

Question

Tôi mới sử dụng và viết một vài chương trình đơn giản để làm quen với nó. Một trong những điều tôi đang làm là viết một phiên bản đệ quy và lặp lại của một phương pháp giai thừa. Tuy nhiên, tôi đã gặp một vấn đề và dường như không thể giải quyết nó.

Tôi đã gặp lỗi tương tự tại Lisp: CHAR is neither declared nor bound nhưng giải pháp không thực sự đạt được, ngoài OP nhận ra anh ta đã tạo "lỗi nhập". Trong REPL tôi có thể sử dụng hàm setf và nó hoạt động tốt. Tôi cũng đang sử dụng LispBox với các emacs. Tôi sẽ đánh giá cao bất kỳ lời đề nghị!

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

CẢNH BÁO trong lĩnh vực CNTT-SỰ THẬT: KẾT QUẢ không phải là tuyên bố cũng không bị ràng buộc, đó sẽ được coi như thể nó đã được tuyên bố ĐẶC BIỆT.

Answer 1

Bạn cần phải ràng buộc 'kết quả' biến - sử dụng 'let', ví dụ - trước khi bắt đầu sử dụng nó:

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

Để biết chi tiết thêm tác bạn có thể muốn đọc this ...

Answer 2

Trong Lisp, các biến cục bộ phải được khai báo rõ ràng với LET hoặc các dạng khác tạo các biến cục bộ. Điều đó khác với ví dụ: Python hoặc JavaScript trong đó gán cho biến sẽ tạo biến trong phạm vi từ vựng hiện tại.

dụ của bạn có thể được viết lại như thế này:

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

Một bình luận off-topic: không có điểm trong việc đưa ngoặc đóng trên dòng riêng biệt.

Answer 3

Có một vài điều sai trái hoặc không tốt như vậy Lisp phong cách:

(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 

Một phiên bản thể:

(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