我将通过使用书中的一个示例来描述这个问题。
在Simon Thompson的书 "HASKELL the craft of functional programming" 的第82页(见下图)中展示了fac 4
的求值步骤。
问题:
是否有一些工具或"Haskell调试器"可以写出GHCi在评估fac 4
时使用的求值步骤?
最好是以人类可读的格式,用于教育和学习目的。
还有一些自动解释每个求值步骤的说明,例如在重写步骤中使用了哪个方程式。
我的主要目的是深入了解在运行简单的教育Haskell示例程序(如fac
)时如何进行重写步骤。
有什么办法吗?如果有,怎么做?