mục đích thực tế của các vars và ràng buộc năng động của clojure là gì?

Question

tôi đã có một cái nhìn tại các tài liệu tham khảo: http://clojure.org/vars#Vars%20and%20the%20Global%20Environment, http://clojuredocs.org/clojure_core/clojure.core/binding

cũng như clojure and ^:dynamic và Clojure Dynamic Binding

tôi vẫn không hiểu tại sao lại có một nhu cầu cho binding ở tất cả như mọi chương trình tôi đã viết đã không có chúng và tôi có thể tìm cách viết các ví dụ theo cách thông thường - điều mà tôi thấy dễ hiểu hơn. Có những ví dụ về các dự án/mô hình lập trình sử dụng điều này không?

ví dụ ... trong động vật nói ví dụ, bạn có thể có được một hiệu ứng tương tự với:

(def dog {:name "Dog" :sound "Woof"}) 
(def cat {:name "Cat" :sound "Meow"}) 

(defn speak [animal] 
    (str (:name animal) " says " (:sound animal)) 

(println (speak dog)) 
(println (speak cat)) 

không macro, không năng động ràng buộc ... vẫn rất sạch sẽ.

Answer 1

Không có Nghiêm một nhu cầu cho họ: như bạn một cách đúng đắn quan sát bạn có thể làm bất cứ điều gì bạn thích mà không binding, và quả thật nếu binding không tồn tại thì bạn có thể tái thực hiện nó tương đối dễ dàng sử dụng các macro và Java ThreadLocal s.

Ràng buộc là hữu ích như một cách để chuyển ngữ cảnh động đến một hàm mà không cần phải chuyển một cách rõ ràng thông số.

Điều này đặc biệt hữu ích khi bạn đang soạn các hàm thứ tự cao hơn lồng nhau và không muốn thêm thông số bổ sung vào mọi hàm trong ngăn xếp cuộc gọi để chuyển một số giá trị cho các hàm mức thấp hơn được nhúng sâu bên trong.

Để xây dựng dựa trên ví dụ của bạn:

(def ^:dynamic *loud-noises* false) 

(defn speak [animal] 
    (str (:name animal) " says " 
      (let [sound (:sound animal)] 
      (if *loud-noises* (.toUpperCase sound) sound)))) 

(speak dog) 
=> "Dog says Woof" 

(binding [*loud-noises* true] 
    (speak dog)) 
=> "Dog says WOOF" 

Lưu ý tôi không cần thêm một tham số bổ sung cho các speak chức năng để có được hành vi khác nhau. Việc thêm một tham số phụ sẽ không quan trọng trong trường hợp này, nhưng hãy tưởng tượng nếu chức năng speak được chôn sâu trong một hàm bậc cao phức tạp .....

Tuy nhiên, tôi nghĩ lời khuyên tốt nhất là tránh ràng buộc động trừ khi bạn thực sự cần nó. Tốt hơn là thêm các tham số rõ ràng nếu bạn có thể: các tham số trực tiếp giúp dễ dàng kiểm tra và lý luận về các hàm.

Answer 2

Chỉ cần theo dõi ví dụ của mikera ở trên .. Tôi có thể thấy lý do tại sao bạn sẽ làm điều đó bằng ngôn ngữ ít diễn cảm hơn, nhưng vì clojure rất biểu cảm, tôi thà viết lại nó ... để đạt được hiệu quả tương tự bằng cách thêm thông số bổ sung để nói ...

(defn speak [animal & opts] 
    (let [sound (:sound animal) 
     sound (if (some #(= % :louder) opts) 
       (.toUpperCase sound) sound)] 
    (str (:name animal) " says " sound))) 


> (speak dog) 
;;=> "Dog says Woof" 
> (speak dog :louder) 
;;=> "Dog says WOOF" 

Chỉ ràng buộc cách để hack một giải pháp nhanh chóng và bẩn nếu bạn không thể thay đổi mã gốc?