Question

I’m interested in what tools and methods are used for diagnosing flaws in large scale functional programs. What tools are useful? My current understanding is that ‘printf’ debugging (e.g. add logging and redeploy) is what is typically used.

If you’ve done debugging of a functional system what was different about it then debugging a system built with an OO or procedural language?

Answer 1

Sadly, printf debugging seems to be the state of practice for Standard ML, Objective Caml, and Haskell. There’s a little bit of debugging at the interactive read-eval-print loop, but once your app hits 25,000 or 50,000 lines that’s less useful.

If you’re lucky enough to be using Haskell, there’s an exception: QuickCheck is indispensible for testing and deubgging. QuickCheck can be used even on combinations of Haskell and C code, as demonstrated by experience with the Xmonad window manager.

It’s worth noting that around 1990 Andrew Tolmach built a very nice time-travel debugger for Standard ML of New Jersey, but that it was not considered worth maintaining. It’s also worth noting that at one point the OCaml debugger (also a time-travel debugger) worked only on bytecode, which was inconvneient, and refused to violate abstraction barriers, which made it useless. This was around release 3.07 or so; perhaps things have improved.

Also in the early 1990s, Henrik Nilsson built an interesting debugger for Haskell, but mostly what it did was prevent the debugger from accidentally changing the evaluation behavior of the program. This was interesting, but only to lavzy-evaluation weenies.

As someone who has built or worked on large applications in all three of these languages, I find the state of play depressing.