Abstract

Haskell has long needed a debugger Although there has been much research into the topic of debugging lazy functional programs, no robust tool has yet come from the Haskell community that can help debug full Haskell. This paper describes a portable debugger for full Haskell, building only on commonly implemented extensions. It is based on the concept of observation of intermediate data structures, rather than the more traditional stepping and variable examination paradigm used by traditional imperative debuggers.

Citations

252	QuickCheck: a lightweight tool for random testing of Haskell programs - Claessen, Hughes - 2000
32	On embedding a microarchitectural design language within Haskell - LAUNCHBURY, LEWIS, et al.
14	Why functional programming matters. The computer journal - Hughes - 1989
1	Debugging in applicative languages. Lisp and Symbolic Computation, 1(2):113-145 [7 - O'Donnell, Hall - 1988
1	A prettier printer. Draft paper from http ://www. cs. bell-lab s. com/who/wadler/ [14 - Wadler - 1998
1	Algorithmic Program Debugging. MIT Press. [7] [8] [9] [10 - Shapiro - 1982
1	Transformational Approach to Debugging Lazy Functional Programs - Spared - 1995
1	Sabry, A(1997) Debugging Reactive Systems - Spared