scheme - 如何检查/导出/序列化(诡计)Scheme 环境

Question

我想在另一个诡计过程中导出或复制方案环境。我想象的算法会做这样的事情来序列化:

(map (lambda (var val) (display (quasiquote (define ,var ,val))
                       (newline))
     (get-current-environment))

然后我会在另一端阅读/评估它。

然而，虽然有返回当前环境的函数，但它们采用某种内部格式，我无法通过 map 进行处理。我怎样才能像上面那样“行走”环境？或者，我还能如何将环境复制到另一个进程中？

Answer 1

你可以像这样分解所谓的“当前环境”:

(define (get-current-binding-list)
        (let* ((e (current-module))  ;; assume checking current-module

               (h (struct-ref e 0))  ;; index 0 is current vars hashtable
              )
       (hash-map->list cons h)  ;; return a vars binding list
    ))

然后你可以调用(get-current-binding-list)来获取current-module中的变量绑定(bind)列表。请注意，此列表中的每个元素都是一对符号和变量类型，比方说，(symbol-name . variable-type)。所以你可以这样打印它:例如，你有一个 var 绑定(bind):

(define abc 5)

然后:

(let ((vl (get-current-binding-list)))
      (assoc-ref vl 'abc)
      )

==> #<variable 9bb5108 value: 5>这个结果是变量“abc”的“变量类型”。您可以使用 variable-ref 过程获取它的值。

因此您可以跟踪所有绑定(bind)并在您的代码中做一些事情，它只是打印 var-name 和 var-value。

我知道我的回答太简短了，但我认为有足够的信息可以帮助您在手册中找到更多详细信息。希望这对您有所帮助。