lisp - Racket中是否有一个函数返回过程的lambda表达式？

否。Racket lambda产生的闭包不记得其S表达式（或语法对象）形式。它通常确实会记住其名称（如果无法推断出名称，则会记住其缩写位置），并且通常足以帮助进行调试。（请参阅object-name。）

您可以lambda使用Racket的适用结构和简单的宏来构建自己的具有此功能的变体。这是一个基本示例：

#lang racket

(struct exp-closure (f exp)
  #:property prop:procedure (struct-field-index f))

(define-syntax-rule (exp-lambda formals . body)
  (exp-closure (lambda formals . body)
               (quote (exp-lambda formals . body))))

(let ([my-thunk (exp-lambda () (+ 1 2))])
  (printf "fun is ~v\n" my-thunk)
  (printf "exp is ~v\n" (exp-closure-exp my-thunk))
  (printf "result is ~v\n" (my-thunk)))

这产生

fun is #<procedure:...tmp/lambda.rkt:11:19>
exp is '(exp-lambda () (+ 1 2))
result is 3

更好的版本的宏可能会将宏使用的源位置传播到lambda它创建的表达式或推断的名称（请参阅参考资料syntax-local-infer-name），或两者都传播。