是否存在Scheme实现支持以人类可读格式打印延续(continuation)？

我正在Scheme中编写一个函数，通过获取用户输入来实现延续(continuation)。为了让用户明白输入对应的后续执行逻辑，我希望能打印出延续的可读内容。以下是Racket环境下的示例代码：

(define (ask-user-input prompt)
  (call/cc (lambda (k)
             (displayln prompt)
             (displayln "Here is the current continuation:")
             (displayln k) ; <-- 需要改进的代码行
             (k (read (current-input-port))))))

这个函数用于猜数字游戏的示例如下：

(define (guessing-game secret)
  (let ((number (ask-user-input "Guess a number.")))
    (cond ((< number secret)
           (displayln "Too low.")
           (guessing-game secret))
          ((> number secret)
           (displayln "Too High.")
           (guessing-game secret))
          (else
           (displayln "That's right!")))))

(guessing-game 50)

目前打印延续时只会输出无意义的#<procedure>，无法获取可读的执行逻辑信息。我知道多数Scheme实现里延续是普通过程，可能需要从过程的机器表示中恢复可读代码。我不局限于特定Scheme实现，比如Guile Scheme能轻松实现的话我可以切换过去。同时我不要求保留原代码的变量名等细节，反编译编译后的过程也可以接受，哪怕只支持限定范围的延续也没问题。想确认：是否存在能将延续以人类可读格式打印的Scheme实现？

• Guile Scheme：Guile自带延续反编译能力，导入(ice-9 debugger)模块后，使用(dump-continuation k)函数就能把延续转换成可读的栈帧和代码信息。它会输出延续对应的调用栈、下一步要执行的代码片段，能清晰展示后续执行逻辑。
• Racket调试扩展：原生Racket打印延续只能得到#<procedure>，但借助racket/debug中的trace-continuation函数，可以展示延续的调用上下文和后续执行步骤。注意在Racket的优化模式下可能难以完全反编译，但调试模式下能获取足够的可读信息。
• Chez Scheme：Chez Scheme支持延续检查与反编译，调用(inspect k)可进入调试检查器，查看延续的结构、栈帧以及对应代码位置，甚至能反编译出近似的Scheme代码或字节码。

这些实现的核心都是通过调试或反编译工具，从底层表示中提取延续对应的栈帧、待执行代码，转换成人类可理解的格式。即便不保留原代码变量名，反编译后的信息也足够让你理解后续执行逻辑。

内容的提问来源于stack exchange，提问作者Joseph Camacho