有没有办法查看haskell中的缩减步骤,即跟踪递归函数调用?例如,chez方案为我们提供了trace-lambda。 Haskell中有一个等价的形式吗?
答案 0 :(得分:7)
您可以尝试在要跟踪的位置插入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 = []
虽然不那么好,但它具有易于使用的优点,并且无需重新编译代码即可使用。
答案 1 :(得分:0)
拥抱减少数量,如果这有帮助吗? 或者,您是否可以使用类似拥抱罩的东西来包装您的代码,以获得有关它在每一步中所做工作的更多详细信息?
答案 2 :(得分:0)
Haskell标准中没有内置任何类型。
我希望Helium图形解释器提供类似这样的内容,但网页对此主题保持沉默。
答案 3 :(得分:0)
部分解决方案是使用vacuum来可视化数据结构。
我看过一些折叠,扫描和其他动画的gif动画,但我现在找不到它们。我认为Cale Gibbard制作了动画。