添加对新表达式方案语言的支持

如何解决添加对新表达式方案语言的支持

我是新来的。我很快就要进行测试，测试语言方案，我正在为之做好准备。

我有一个问题想解决几个小时，但我什至不知道如何开始。

问题是这样的：

这种形式有一种新的表达方式：

(get-procedure-body <exp>)

此表达式接收单个表达式作为参数，对其求值，如果获得用户过程类型值，则返回她的身体。

方案语言问题

大家好，我是新来的。我很快就有了一个测试，一个测试语言测试，我正在为它做准备。我有一个问题想解决几个小时，但我什至不知道如何开始。

问题是这样的：这种形式有一种新的表达方式：

此表达式接收单个表达式作为参数，对其求值，如果获得用户过程类型值，则返回她的身体。

以下是重估后可能出现的情况：

如果返回值是用户过程 - 必须返回其主体
如果返回值是一个原始过程 - “隐藏实现！原始“
如果该值不是过程，则打印“procedure-non: error”

函数操作的可能输出：

(get-procedure-body f)
> ((display x) (* x y))
(get-procedure-body (lambda (x) (h x)) )
> ((h x))
(get-procedure-body +)
> “primitive! Implementation hidden”
(get-procedure-body 1)
> “error: non-procedure”
(get-procedure-body (+ 1 1))
> “error: non-procedure”

问题是这样的：

添加对 body-procedure-get 表达式作为内核表达式的支持（编写所有必需的更改）

如果有人至少可以帮助我，我会很高兴，我试着解释自己，如果有什么不清楚的，告诉我，我会解释更多。这对我来说是很难的语言，尤其是因为它没有太多支持。

我什至不知道该怎么做。

解决方法

获取过程的主体不是 Scheme 的一部分，也不是 Common Lisp 标准，但是，如果您制作了支持用户过程的 Scheme 解释器 (eval)，那么您很可能在您的选择的数据结构并制作非标准原语 get-procedure-body 将暴露来自宿主语言的相同过程。例如。 SICP 这本书确实有一些非常相似的东西作为解释器的一部分。

至于使用 Racket，我曾经这样做是为了能够做类似的事情：

#lang racket

(struct proc (src obj)
  #:property prop:procedure
  (struct-field-index obj)
  #:transparent
  #:methods gen:custom-write
  [(define (write-proc x port mode)
     ((case mode
        [(#t) write]
        [(#f) display]
        [else pretty-print])
      (proc-src x)
      port))])

(define-syntax lambda*
  (syntax-rules ()
    ((_ . rest)
     (proc '(lambda* . rest) (lambda . rest)))))

(define test (lambda* (x y) (+ x y)))

test                  ; ==> #(struct:closure (lambda* (x y) (+ x y)) #<procedure>)
(proc-src test)       ; ==> (lambda* (x y) (+ x y))
(proc-obj test)       ; ==> #<procedure>
((proc-obj test) 1 2) ; ==> 3
(test 1 2)            ; ==> 3

现在这个解决方案把问题颠倒了。因为我没有办法从系统中获取源代码，所以我编写了将源代码与过程对象一起存储的语法，并使用结构特性来打包它们。使用 lambda* 的过程与 lambda 的工作方式相同，但内省除外。