如何在Clojure中编写monoid协议？

Question

由于显而易见的原因，以下方法无效。

(defprotocol Monoid 
    (mappend [a b]) 
    (mzero [])) 

mzero具有零个参数，无参数的方法是不允许的（或没有意义）的协议。在Haskell或Scala中，派发是基于类型而不是基于值的，这不是问题。

什么是在Clojure中概念化和编写Monoid协议的正确方法？

Answer 1

看着source，这在new reducers library中实现的方式不是一个协议，而是一个重载函数。无参数调用是mzero;两个参数调用是mappend。

更确切地说，monoid有两个参数 - op和ctor和返回功能，当不带参数调用，评估ctor，当有两个，代表叫op。

这与在折叠中如何处理零一致，例如 - reduce（折叠）将评估折叠的函数，如果有必要，将不带参数地找到零。

我觉得有点羞愧，显示出一些令人无法理解的东西，但我不知道如何在clojure中做得更好。感谢评论中的解释/教育。