clojure - 如何在 Clojure 中编写 monoid 协议(protocol)？

Question

由于显而易见的原因，以下内容不起作用。

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

mzero 具有零参数，并且协议(protocol)中不允许(或没有意义)零参数方法。在 Haskell 或 Scala 中，调度是基于类型而不是基于值，这不是问题。

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

Answer 1

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

更准确地说，monoid 接受两个参数 - op 和 ctor 并返回一个函数，当不带参数调用时，该函数会计算 >ctor，当用两个调用时，委托(delegate)给 op。

这与折叠中处理零的方式一致，例如 - reduce(折叠)将在没有参数的情况下评估正在折叠的函数以找到零(如有必要)。

我对展示如此平淡无奇的东西感到有点羞愧，但我不知道如何在 clojure 中做得更好。感谢评论中的解释/教育。