Chức năng khớp mẫu trong Clojure?

Question

Tôi đã sử dụng erlang trong quá khứ và nó có một số thứ thực sự hữu ích như chức năng khớp mẫu hoặc "bảo vệ chức năng". Ví dụ từ tài liệu erlang là:

fact(N) when N>0 -> 
    N * fact(N-1); 
fact(0) ->  
    1.  

Nhưng điều này có thể được mở rộng đến một ví dụ phức tạp hơn nhiều nơi dưới dạng tham số và giá trị bên trong nó được kết hợp.

Có điều gì tương tự trong clojure không?

Answer 1

Có công việc liên tục để thực hiện việc này với sự hợp nhất trong thư viện core.match (https://github.com/clojure/core.match).

Tùy thuộc vào chính xác những gì bạn muốn làm, một cách phổ biến khác là sử dụng defmulti/defmethod để gửi các chức năng tùy ý. Xem http://clojuredocs.org/clojure_core/clojure.core/defmulti (ở cuối trang đó là ví dụ giai thừa)

Answer 2

core.match là thư viện phù hợp với mẫu có thể mở rộng và đầy đủ tính năng cho Clojure. Với một chút ma thuật vĩ mô và bạn có thể có được một xấp xỉ gần đúng với những gì bạn đang tìm kiếm.

Answer 3

Ngoài ra, nếu bạn muốn tách riêng các cấu trúc đơn giản như vectơ và bản đồ (bất kỳ thứ gì là chuỗi hoặc bản đồ, ví dụ như bản ghi, trên thực tế) cũng có thể sử dụng destructuring bind. Đây là dạng kết hợp mẫu yếu hơn, nhưng vẫn rất hữu ích. Mặc dù nó được mô tả trong phần let ở đó, nó có thể được sử dụng trong nhiều ngữ cảnh, bao gồm các định nghĩa chức năng.

Answer 4

Tôi muốn giới thiệu defun, đó là một macro để xác định hàm có khớp mẫu giống như erlang, dựa trên core.match. Chức năng thực tế trên có thể được viết thành:

(use 'defun) 
(defun fact 
    ([0] 1) 
    ([(n :guard #(> % 0))] 
    (* n (fact (dec n))))) 

Một ví dụ khác, một ắc từ zero đến số dương n:

(defun accum 
    ([0 ret] ret) 
    ([n ret] (recur (dec n) (+ n ret))) 
    ([n] (recur n 0))) 

Xem thêm thông tin xin vui lòng xem https://github.com/killme2008/defun