Question

我正在尝试将SICP的meta-circular evaluator转换为Clojure。在setup-environment中，对extend-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方法时，我收到以下错误：

由java.lang.IllegalStateException引起的   试图调用未绑定的fn：
  ＃'方案评估器/延伸环境
                    Var.java:43 clojure.lang.Var $ Unbound / throwArity
                    AFn.java:40 clojure.lang.AFn / invoke
        scheme-evaluator.clj：277 scheme-evaluationator / eval7808

我认为我没有提供正确类型的参数，或者我没有创建正确类型的函数。我尝试了各种匿名方法的变体，并在括号中传递或没有，但我没有把它编译。</ p>

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

Answer 1

的定义

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

可能不会做你想要的。如上所述，这定义了一个不带参数并返回换能器（这是一个函数）的函数，如果应用于序列，它将分别替换函数first和primitive-procedures的值0和1。我将首先演示函数，然后使用数字值来演示更清晰（希望如此）：

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)

这只是上面例子的简写。

尝试调用未绑定的fn，而我已定义它

1 个答案: