Clojure中的模式匹配函数？

Question

我过去使用过erlang,它有一些非常有用的东西,比如模式匹配函数或"函数守卫".erlang文档的示例是:

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

但是这可以扩展到一个更复杂的例子,其中的参数和值的形式是匹配的.

在clojure中有类似的东西吗？

Answer 1

目前正在努力通过core.match(https://github.com/clojure/core.match)库中的统一来实现这一目标.

根据您想要做的事情,另一种常见的方法是使用defmulti/defmethod来调度任意函数.请参阅http://clojuredocs.org/clojure_core/clojure.core/defmulti(该页面底部是阶乘示例)

Answer 2

我想介绍defun,它是一个宏来定义函数与模式匹配就像erlang一样,它基于core.match.以上事实函数可写入:

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

另一个例子,从零到正数n的累加器:

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

更多信息请参阅https://github.com/killme2008/defun

Answer 3

core.match是Clojure的全功能和可扩展模式匹配库.有一点宏观魔法,你可能会得到一个非常接近你正在寻找的东西.