Announcing buddha version 1.0 ----------------------------- www.cs.mu.oz.au/~bjpop/buddha A declarative debugger for Haskell 98. It is based on program transformation and works with GHC 5 and 6. buddha offers a declarative debugging algorithm and a browsing mechanism. It is useful for finding logical errors in programs and for exploring computations in a high-level manner. The interface is designed to be simple to use, and may be an ideal aid for teaching Haskell. Version 1.0 is known to work on unix platforms, including OS X, GNU/linux and freeBSD. It does not work on Windows. buddha is released under the GPL license. Enjoy, Bernie.
Bernie "Buddha" wrote:
Announcing buddha version 1.0 -----------------------------
www.cs.mu.oz.au/~bjpop/buddha
A declarative debugger for Haskell 98. It is based on program transformation and works with GHC 5 and 6.
buddha offers a declarative debugging algorithm and a browsing mechanism. It is useful for finding logical errors in programs and for exploring computations in a high-level manner.
The interface is designed to be simple to use, and may be an ideal aid for teaching Haskell.
Version 1.0 is known to work on unix platforms, including OS X, GNU/linux and freeBSD. It does not work on Windows.
buddha is released under the GPL license.
Seems like a very nice tool. Although I wonder why one needs Buddha for the sample Tree code treated in the User's Guide. Would it not be easier to just look for the string "the bug is here" and correct the problem? /David
Seems like a very nice tool. Although I wonder why one needs Buddha for the sample Tree code treated in the User's Guide. Would it not be easier to just look for the string "the bug is here" and correct the problem?
I don't think I'd find this technique very useful since I often forget to explicitly mark the bugs in my code. -- Alastair Reid
I have not seen any Haskell metacatamorpishm library, for banana split constructions. Would it not be a good start for a Template Haskell-specific library? In fact, is there a plan to create a Template Library for Template Haskell, somewhat homologous to the STL in C++? /David
participants (3)
-
Alastair Reid -
Bernard James POPE -
David Bergman