为什么clojure thread last (->>) 是一个宏？

Question

我能看到的唯一好处是它意味着人们可以避免调用partial。

(defn foldl [f acc xs]
  (loop [acc acc
         xs xs]
    (if (empty? xs)
      acc
      (recur (f (first xs) acc) (rest xs)))))

(defn $ [f x] (f x))

(defn thread-last [x & rest]
  (foldl $ x rest))

给出：

(thread-last (range 10)
             (partial map inc)
             (partial filter odd?)
             (partial reduce +)) => 25

(->> (range 10)
     (map inc)
     (filter odd?)
     (reduce +)) => 25

是否存在函数式/显式版本失败的情况？

Answer 1

首先，请注意您的foldl 只是reduce。我们的语言并没有那么比 Haskell 差多少！

第二，不是所有的表单都是函数调用，->>可以重写所有的表单。例如，您可以使用 ->> 来实现有点像 Haskell 的 where 子句的东西：

(defn mapcat' [f xs]
  (->> (apply concat mapped)
       (let [mapped (map f xs)])))

这并不是一种真正受 Clojure 程序员欢迎的风格，但它可以作为 ->> 可以做到而 partial 不能做到的示例。