Question

说我有这段代码：

int* p = &vec[0];

我直观地知道这个lambda表达式（扩展性地）等于#lang racket (define a ((λ (x) x) ((λ (y) y) (λ (z) ((λ (w) w) z)))))

我的问题是，是否有办法打印(λ (z) z)的正文，以防我想看看Racket内部简化了多少功能。

更多信息：

默认情况下，如果我在解释器中键入a，我会得到a（这似乎暗示了评估发生了多少）。我可以将输出样式更改为“构造函数”，然后结果是#<procedure:y>，这更接近我想要的，但我仍然不知道正文中哪些是重要部分。

我想有人可以通过对Racket评估策略的更全面的了解来回答这个问题，但是如果显示程序主体是一件可能发生的事情，我仍然感兴趣。

Answer 1

通常，在运行时无法查看闭包的主体。 “body”是源代码的一部分。它被编译成字节码（稍后由JIT编译成机器代码）。闭包在运行时包含正文中自由变量的捕获值和指向代码的指针。

也就是说，您可能对研究expand或compile的输出感到满意。

现在expand只会扩展语法，因此您将无法看到任何优化：

> (expand-syntax #'(define a
                     ((λ (x) x)
                      ((λ (y) y)
                       (λ (z)
                         ((λ (w) w) z))))))
(define-values (a) 
   (#%app (lambda (x) x) 
            (#%app (lambda (y) y) 
                   (lambda (z) 
                     (#%app (lambda (w) w) z)))))

请注意，#%app表示“申请”。

要在应用优化后查看结果，我们需要调用编译器。内置compile生成字节码，因此我们使用compile-zo将字节码转换为表示字节码的结构（并且它们在repl中很好地打印）。

> (compile-zo '((λ (x) x)
                ((λ (y) y)
                 (λ (z)
                   ((λ (w) w) z)))))
'#s((compilation-top zo 0)
    1
    #s((prefix zo 0) 0 () ())
    #s((application expr 0 form 0 zo 0)
       #s((closure expr 0 form 0 zo 0)
          #s((lam expr 0 form 0 zo 0)
             ()
             (preserves-marks single-result)
             1
             (val)
             #f
             #()
             ()
             #f
             6
             #s((localref expr 0 form 0 zo 0) #f 0 #f #f #f))
          closure64862)
       (#s((closure expr 0 form 0 zo 0)
           #s((lam expr 0 form 0 zo 0)
              y
              (preserves-marks single-result)
              1
              (val)
              #f
              #()
              ()
              #f
              6
              #s((localref expr 0 form 0 zo 0) #f 0 #f #f #f))
           y64863))))

只剩下一个应用程序，因此在编译期间确实简化了程序。

有关compile-zo的定义，请参阅https://github.com/soegaard/meta/blob/master/runtime/racket-eval.rkt。

最后，另一个选择是查看JIT生成的机器代码。见https://github.com/samth/disassemble

更新

如果我正确读取字节码，它对应于：

((λ (x) x)
 (λ (y) y))

有没有办法在Racket中看到lambda的身体？

1 个答案: