尝试调用未绑定的fn，但我已对其进行了定义

Question

我正在尝试将SICP的元循环评估器转换为Clojure。 在setup-environment extend-environment中，未编译对extend-environment setup-environment的调用，因为出现错误“尝试调用未绑定的fn”。 这是代码的一部分：

(... loads of methods for creating and managing environment list)

(def primitive-procedures
  (list (list 'car first)
        (list 'cdr rest)
        (list 'cons conj) ;; TODO: reverse
        (list 'null? nil?)
        (list 'list list)
        (list '+ +)
        (list '- -)
        (list '* *)
        (list '/ /)
        ;;      more primitives
        ))

(def primitive-procedure-names 
  #(map [first
         primitive-procedures]))

(def primitive-procedure-objects 
  (fn [] (map (fn [p] (list 'primitive (second p)))
               primitive-procedures)))

(def the-empty-environment '())

(defn extend-environment [vars vals base-env]
  (if (= (count vars) (count vals))
    (conj base-env (make-frame vars vals))
    (if (< (count vars) (count vals))
      (throw (Throwable. "Too many arguments supplied") vars vals)
      (throw (Throwable. "Too few arguments supplied") vars vals))))

;; Added # in front here so it could be called (???)
(defn setup-environment []
  #(let [initial-env
         (extend-environment (primitive-procedure-names)
                             (primitive-procedure-objects)
                             the-empty-environment)] ;; <= that does not work
     (define-variable! 'true true initial-env)
     (define-variable! 'false false initial-env)
     initial-env)))

;; Method for interacting with the evaluator:

(defn driver-loop []
  (prompt-for-input input-prompt)
  (let [input (read)]
    (let [output (m-eval input the-global-environment)]
      (announce-output output-prompt)
      (user-print output)))
  (driver-loop))

(...)

(def the-global-environment (setup-environment))
(driver-loop)

当我评估extend-environment方法时，出现以下错误：

1. 由java.lang.IllegalStateException引起
   尝试呼叫未绑定的fn：
   ＃'方案评估器/扩展的环境
   Var.java：43 clojure.lang.Var $ Unbound / throwArity
   AFn.java：40 clojure.lang.AFn / invoke
   scheme-evaluator.clj：277 scheme-evaluator / eval7808
   

我想我没有提供正确类型的参数，或者我没有创建正确类型的函数。 我尝试了各种匿名方法，并传入或不带有括号，但我无法对其进行编译。

有谁知道这个错误的原因是什么，我该如何解决？

Answer 1

的定义

(def primitive-procedure-names 
  #(map [first
        primitive-procedures]))

可能不符合您的预期。 如所写，这定义了一个不带任何参数的函数，并返回换能器（这是一个函数），如果将其应用于序列，则将值0和1分别替换为函数first和primitive-procedures 。 我将首先通过函数进行演示，然后通过数字值进行演示，以使发生的事情更加清楚（希望如此）：

user> (into [] (map [first 'example]) [0 1])
[#function[clojure.core/first--4339] example]
user> (into [] (map [1 2]) [0 1])
[1 2]

也许你想要

(def primitive-procedure-names 
 (map first primitive-procedures))

我可能建议您使用defn形式定义函数，并使用def形式定义值，除非您有充分的理由不这样做。

setup-environment是一个函数，它返回一个函数，如果您调用该函数，则该函数将返回一个函数，该函数返回的初始环境未经调用define-variable修改。 在Clojure中，集合类型是不可变的，因此，如果要对集合进行几处更改，则必须将添加第一个结果的结果链接到添加第二个结果的输入中，然后返回添加第二个结果的结果：

(add-second (add-first initial-value))

也可以这样写：

(-> initial-value
    add-first
    add-second)

这只是上面示例的简写形式。