方案显示评估跟踪

Question

如果有帮助，我会使用DrRacket。

因此，例如评估(* 1 2)评估跟踪将是：

eval: (* 1 2) Env0  
eval: * Env0  
list-of-values: (1 2) Env0  
eval: 1 Env0  
list-of-values: (2) Env0  
eval: 2 Env0  
list-of-values: () Env0  
apply: [*] (1 2)

如果无法显示正在进行评估的环境，是否至少有一种方法可以显示评估痕迹（我想也许可以通过运行metacircular评估器并将其转换为跟踪在相关的地方）？

Answer 1

尝试http://docs.racket-lang.org/reference/debugging.html?q=trace#%28form._%28%28lib._racket%2Ftrace..rkt%29._trace%29%29

它没有显示环境。

另外：尝试代数步进器。