Question

有没有办法查看haskell中的缩减步骤，即跟踪递归函数调用？例如，chez方案为我们提供了trace-lambda。 Haskell中有一个等价的形式吗？

Answer 1

您可以尝试在要跟踪的位置插入Debug.Trace.trace，但这会导致（a）产生非常无序的输出，因为您的trace语句可能属于不是thunk的thunk评估，直到远离原始调用，以及（b）更改程序的运行时行为，如果跟踪需要评估本来不会被评估的事情。

这是用于调试吗？如果是的话......

Hat修改您的源代码以输出可在运行后查看的跟踪。输出应该非常接近你想要的：他们主页上的例子是

例如，计算错误程序
main = let xs :: [Int]
           xs = [4*2,5 `div` 0,5+6]
       in  print (head xs,last' xs)

last' (x:xs) = last' xs
last' [x] = x
给出结果
(8, No match in pattern.
并且可以使用Hat查看工具来探索其行为，如下所示：


的帽叠


对于中止计算，即以错误消息终止或被中断的计算，hat-stack显示在哪个函数调用中止计算。它通过显示函数调用的虚拟堆栈（redexes）来实现。因此，堆栈上显示的每个函数调用都会导致上面的函数调用。顶部堆栈元素的评估导致错误（或在其评估期间计算被中断）。显示的堆栈是虚拟的，因为它不对应于实际的运行时堆栈。实际运行时堆栈启用延迟评估，而虚拟堆栈对应于将用于急切（严格）评估的堆栈。

使用与上面相同的示例程序，hat-stack显示

$ hat-stack Example Program terminated with error: No match in pattern. Virtual stack trace: (Last.hs:6) last' [] (Last.hs:6) last' [_] (Last.hs:6) last' [_,_] (Last.hs:4) last' [8,_,_] (unknown) main $

目前，GHCi（≥6.8.1）还附带调试器：

$ ghci -fbreak-on-exception GHCi, version 6.10.1: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer ... linking ... done. Loading package base ... linking ... done. Prelude> :l Example.hs [1 of 1] Compiling Main ( Example.hs, interpreted ) Example.hs:5:0: Warning: Pattern match(es) are overlapped In the definition of `last'': last' [x] = ... Ok, modules loaded: Main. *Main> :trace main (8,Stopped at <exception thrown> _exception :: e = _ [<exception thrown>] *Main> :back Logged breakpoint at Example.hs:(5,0)-(6,12) _result :: t [-1: Example.hs:(5,0)-(6,12)] *Main> :hist -1 : last' (Example.hs:(5,0)-(6,12)) -2 : last' (Example.hs:5:15-22) -3 : last' (Example.hs:(5,0)-(6,12)) -4 : last' (Example.hs:5:15-22) -5 : last' (Example.hs:(5,0)-(6,12)) -6 : last' (Example.hs:5:15-22) -7 : last' (Example.hs:(5,0)-(6,12)) -8 : main (Example.hs:3:25-32) -9 : main (Example.hs:2:17-19) -10 : main (Example.hs:2:16-34) -11 : main (Example.hs:3:17-23) -12 : main (Example.hs:3:10-33) <end of history> [-1: Example.hs:(5,0)-(6,12)] *Main> :force _result *** Exception: Example.hs:(5,0)-(6,12): Non-exhaustive patterns in function last' [-1: Example.hs:(5,0)-(6,12)] *Main> :back Logged breakpoint at Example.hs:5:15-22 _result :: t xs :: [t] [-2: Example.hs:5:15-22] *Main> :force xs xs = []

虽然不那么好，但它具有易于使用的优点，并且无需重新编译代码即可使用。

Answer 2

拥抱减少数量，如果这有帮助吗？或者，您是否可以使用类似拥抱罩的东西来包装您的代码，以获得有关它在每一步中所做工作的更多详细信息？

Answer 3

Haskell标准中没有内置任何类型。

我希望Helium图形解释器提供类似这样的内容，但网页对此主题保持沉默。

Answer 4

部分解决方案是使用vacuum来可视化数据结构。

我看过一些折叠，扫描和其他动画的gif动画，但我现在找不到它们。我认为Cale Gibbard制作了动画。

查看Haskell中的减少步骤

4 个答案: