什么是Clojure相当于Scalaz Foldable的折叠图？

Haskell和Skalaz中的monoid是一个实现三个函数的类：

> mempty返回标识元素
> mappend结合了两个相同类型的值
> mconcat用于将该类型的集合转换为items和v.v.

Clojure没有折叠函数可以调用所有这三个函数; reduce是用于累积集合的高阶函数.

默认情况下,它需要3个参数：reducer函数,累加器和集合. reducer函数用于一次合并累加器和集合中的一个项目.它不需要接受像mappend这样的相同类型.第三个是集合,这就是不需要mconcat的原因.

在Clojure的1.5 clojure.reducers和clojure.core / reduce的上下文中,有一个monoid：一个函数在没有参数的情况下调用时返回它的identity元素.

例如：

(+) => 0 
(*) => 1
(str) => ""
(vector) => []
(list) => ()

这个’monoid’函数在reduce的两个参数版本中用作reducer;它的’monoidal identity’或mempty被称为创建初始累加器.

(减少[1 2 3])=> (reduce()[1 2 3])=> (减少0 [1 2 3])

因此,如果你想在这里翻译这些例子,你需要找到或创建一个具有这种’monoid’实现的函数,以便在双arity reduce中使用它.

对于脱节,Clojure有或：

(defmacro or
  "Evaluates exprs one at a time,from left to right. If a form
  returns a logical true value,or returns that value and doesn't
  evaluate any of the other expressions,otherwise it returns the
  value of the last expression. (or) returns nil."
  {:added "1.0"}
  ([] nil)
  ([x] x)
  ([x & next]
      `(let [or# ~x]
         (if or# or# (or ~@next)))))

它确实有’monoid’实现,([] nil).但是,或者实现为支持短路的宏,并且只能在要扩展的表达式中使用,而不能作为函数参数使用：

(reduce or [false true false true true])
CompilerException java.lang.RuntimeException: Can't take value of a macro: #'clojure.core/or,compiling

所以我们需要一个’新’或者这是一个真正的分离函数.它还应该实现一个返回nil的无冗余版本：

(defn newor
  ([] nil)
  ([f s] (if f f s)))

所以现在我们有一个带有’monoid’实现的函数,你可以在双arity reduce中使用它：

(reduce newor [true false true true])
=> true

看起来有点复杂,直到你理解为什么Clojure实现或作为多个arity宏

(or true false true true)
=> true