scheme - 打印变量名

Question

在 Scheme R6RS 中是否可以打印变量的名称？我是说：

(define (f) 
   (lambda (arg)
      (display ( *name* arg))))

这样：

(define my-var 3)
(f my-var) ; => displays the string "my-var")

Answer 1

您需要一个语法扩展（又名宏）来防止评估：

#lang r6rs
(import (rnrs))

(define-syntax f
  (syntax-rules ()
    [(_ x) (display 'x)]))

(define my-var 3)
(f my-var)

输出

my-var

Racket 的宏扩展器显示了转换的效果：

(module anonymous-module r6rs
  (#%module-begin
   (import (rnrs))
   (define-syntax f (syntax-rules () [(_ x) (display 'x)]))
   (define my-var 3)
   (f my-var)))

->  [Macro transformation]

(module anonymous-module r6rs
  (#%module-begin
   (import (rnrs))
   (define-syntax f (syntax-rules () [(_ x) (display 'x)]))
   (define my-var 3)
   (display 'my-var)))

当然，这意味着你可以简单地写

(display 'my-var)

得到相同的结果;-)

Answer 2

让我们看看表达式(f my-var)是如何计算的。首先，请注意这是一个应用程序。应用程序以某种顺序评估所有子表达式（在标准方案中它是未定义的，但大多数方案实现使用从左到右）。也就是说，表达式 f 被评估，给出一个代表 的值 v1 (lambda () (lambda (arg) (display (*name* arg)))。被my-var评估给出值3。现在v1应用于3.

所以这里的问题是函数永远不会看到变量名my-var，它只看到评估它的结果，3。

因此，您的问题的答案必须是“否”。

但它可能有一个替代解决方案。你需要它来做什么 - 调试？