我正在尝试将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
方法时,出现以下错误:
- 由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 scheme-evaluator / eval7808
我想我没有提供正确类型的参数,或者我没有创建正确类型的函数。我尝试了匿名方法的各种变体,并在是否带括号的情况下进行了传递,但我无法对其进行编译。
有谁知道这个错误的原因是什么,我该如何解决?
的定义
(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)
这只是以上示例的简写形式。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句