查看Haskell中的减少步骤

时间:2009-04-28 21:45:14

标签: debugging haskell functional-programming reduction

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

4 个答案:

答案 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制作了动画。