Trong Clojure, sự khác biệt giữa chức năng, chức năng trích dẫn và hàm trích dẫn sắc nét

Question

Trong clojure, tôi muốn biết sự khác nhau giữa ba bên dưới là gì.

(println (map + '(1 2 3) '(4 5 6))) 

(println (map '+ '(1 2 3) '(4 5 6))) 

(println (map #'+ '(1 2 3) '(4 5 6))) 

Kết quả là

(5 7 9) 

(4 5 6) 

(5 7 9) 

Tôi không thể hiểu được hành vi thứ hai của.

Tôi cảm thấy cái đầu tiên và cái thứ ba giống nhau trong clojure là Lisp-1 và không phân biệt giữa việc đánh giá biến và hàm được đặt tên giống nhau.

Đây có thể là câu hỏi cơ bản, nhưng dường như không đủ thông tin. Xin hãy dạy tôi.

Cảm ơn.

Answer 1

Liên quan đến trường hợp thứ ba, ngược lại với Common Lisp, #'+ không đọc là (function +) và tham khảo giá trị của ký hiệu + trong không gian tên hàm, vì Clojure không có vùng tên chức năng. Thay vào đó, nó đọc là (var +) và đề cập đến số var được gọi là +. Áp dụng var cũng giống như áp dụng giá trị được lưu trữ trong var.

Trong trường hợp thứ hai, bạn liên tục áp dụng biểu tượng cho một cặp số. Điều này là hợp lệ do tai nạn. Áp dụng một biểu tượng để bản đồ cũng giống như đánh chỉ vào bản đồ rằng:

user> ('a {'a 1, 'b 2, 'c 3, '+ 4}) 
1 
user> ('+ {'a 1, 'b 2, 'c 3, '+ 4}) 
4 

Nếu bạn cung cấp một số thứ hai, nó được sử dụng như là giá trị mặc định trong trường hợp không có khóa khớp được tìm thấy trong bản đồ:

user> ('+ {'a 1, 'b 2, 'c 3} 4) 
4 

Vì trong mỗi lần lặp, bạn áp dụng ký hiệu + cho một số và vì số không phải là bản đồ và do đó không chứa + làm khóa, đối số thứ hai được trả về làm giá trị mặc định của một trận đấu không thành công.

user> ('+ 'foo 4) 
4 
user> ('+ {} 4) 
4 
user> ('+ 1 4) 
4