是否有Scheme编译器可直观展示语法糖到Lambda表达式的转换？

• 支持清晰观测的Scheme编译器/工具
  多款Scheme实现提供简洁直观的语法糖展开功能，能直接展示let等语法糖转换为Lambda表达式的过程：

  • Racket：在REPL中执行(expand (let ((a 1)) (+ x a)))，或通过命令行运行racket -e '(expand (read))'并输入目标代码，会直接输出等价的Lambda形式：((lambda (a) (+ x a)) 1)，完全对应语法糖的转换逻辑。
  • Chicken Scheme：使用csc -expand input.scm命令，可将指定Scheme文件中的语法糖展开为核心Lambda表达式，输出无冗余编译信息，仅保留转换后的核心结构。
  • Gauche：通过gosh -E expand input.scm命令运行代码，能将let、define等语法糖直接展开为纯Lambda演算形式，输出清晰易懂。

• 对比OCaml/F#的优势
  这些Scheme工具的展开输出专注于语法糖到Lambda的转换本身，不会像OCaml -dlambda那样混入类型标注、编译内部标记等复杂内容，能直接看到你关注的等价转换关系。

内容的提问来源于stack exchange，提问作者wang kai