Tại sao có thể xác định lại Var (cho rằng trong các giá trị FP là không thay đổi)?

Question

Tôi đang sử dụng ngược chiều kim đồng hồ để chạy REPL, nhưng tôi cũng nhận thấy điều này trên Leiningen.

Tôi có thể gọi def để xác định var hai lần. Ví dụ:

=> (def a 1) 
#'fractal.core/a 
=> a 
1 
=> (def a 2) 
#'fractal.core/a 
=> a 
2 

Clojure là ngôn ngữ lập trình chức năng và đối tượng FP được cho là không thay đổi. Nếu tôi có thể làm điều này theo nghĩa nào là không thay đổi?

Cảm ơn mọi nhận xét.

Answer 1

Toàn bộ điểm của vars là chúng có thể được phục hồi, do đó tên: var -> variable.

Từ docs:

Clojure là một ngôn ngữ thực tế công nhận sự cần thiết phải thường xuyên để duy trì một tham chiếu dai dẳng đến một giá trị thay đổi. ... Vars cung cấp một cơ chế để tham khảo một vị trí lưu trữ có thể thay đổi có thể được phục hồi động (đến một vị trí lưu trữ mới) trên cơ sở cho mỗi luồng.

Bạn không thay đổi bất kỳ giá trị bất biến nào bằng cách đặt lại var.

Hãy nghĩ đến việc chỉ đưa ra một giá trị bất biến một cái tên và sau đó đưa ra một giá trị bất biến khác có tên đó.

Answer 2

trong các đối tượng FP được cho là không thay đổi.

Điều này không đúng.

Tinh khiết lập trình hàm yêu cầu biến là giá trị bất biến. Tuy nhiên, Clojure không phải là một ngôn ngữ thuần túy, và cho phép các tác dụng phụ không được theo dõi ở bất cứ đâu.

Phần lớn các ngôn ngữ chức năng không tinh khiết, về mặt này, vì chúng không theo dõi sự xuất hiện của các tác dụng phụ, chẳng hạn như đột biến, trong chính ngôn ngữ.

Answer 3

re - def nhập một var (có nghĩa là, đặt ràng buộc gốc, trái ngược với tạm thời/thread-địa phương ràng buộc lại) chủ yếu được dự định là một công cụ để phát triển. Vì các hàm và giá trị toàn cầu chuẩn (được định nghĩa với def/defn) là dựa trên var, bạn có thể xác định lại chúng mà không phải khởi động lại chương trình clojure mà bạn đang chỉnh sửa.

Lưu ý rằng các vars là không phải là các giá trị, chúng rõ ràng có ý định là các tham chiếu có thể thay đổi thành giá trị/chức năng.