方案显示评估痕迹

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)

如果不能显示正在进行评估的环境，是否至少有一种方法可以显示评估跟踪(我在想，也许可以通过运行元循环求值器并将其跟踪到相关位置)？

Answer 1

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

它不显示环境。

另外:尝试代数步进器。