将 Y-Combinator 应用于 Clojure 中带有两个参数的递归函数？

Question

对单参数函数（例如 Clojure 中的阶乘或斐波那契）执行 Y 组合器已有详细记录： http://rosettacode.org/wiki/Y_combinator#Clojure

我的问题是 - 你好吗它对于两个参数的函数（例如这个 getter）？

（这里假设我想递归地解决这个问题，并且这个非惯用的 clojure 代码是出于另一个原因故意存在的）

[非 y-combinator 版本]

(defn get_ [n lat]
    (cond
      (empty? lat) ()
        (= 0 (- n 1)) (first lat)
        true (get_ (- n 1) (rest lat))))

(get_ 3 '(a b c d e f g h i j))

Answer 1

由于 args 已apply'd，因此 args 的数量不会发生任何变化。你只需要改变get_的结构：

(defn get_ [f]
  (fn [n lat]
    (cond
      (empty? lat) ()
      (= 1 n) (first lat)
      :else (f (dec n) (next lat)))))

(defn Y [f]
  ((fn [x] (x x))
   (fn [x]
     (f (fn [& args]
          (apply (x x) args))))))

user=> ((Y getf) 3 '(a b c d e f g h i j))
c

Answer 2

这会很简单。

假设您有一个函数 H：

(def H
  (fn [x] 
        (fn [x y]
              (stuff happens))))

然后应用相同的 Y 组合器：

((Y H) 4 5)

其中 4 和 5 是您要传递给 H 的参数。

组合器是本质上是“处理”H 中的顶级函数，而不是正在做艰苦工作的函数（这里是元数为 2 的函数）。