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

Question

在 Clojure 中为单个参数函数(例如阶乘或斐波那契)执行 Y 组合器有详细记录: http://rosettacode.org/wiki/Y_combinator#Clojure

我的问题是 - 对于像这个 getter 这样的双参数函数，你如何做到这一点？

(这里假设我想递归地解决这个问题，而这个非惯用的 clojure 代码是出于其他原因故意存在的)

[非 y 组合器版本]

(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 的数量不会改变任何东西，因为 args 是 apply 的。你只需要改变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