4

我正在尝试将 SICP 的元循环评估器转换为 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方法时，我收到以下错误：

  1. 由 java.lang.IllegalStateException 引起
    尝试调用未绑定的 fn：
    #'scheme-evaluator/extend-environment
    Var.java：43 clojure.lang.Var$Unbound/throwArity
    AFn.java：40 clojure.lang.AFn/invoke
    scheme- evaluator.clj: 277 方案评估器/eval7808

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

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

4

1 回答 1

6

的定义

(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定义函数的形式和定义值的定义形式，除非你有一个非常充分的理由不这样做。

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

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

也可以这样写：

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

这只是上面示例的简写。

于 2016-04-05T22:47:23.073 回答