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\'
The main tools we use at work (a Haskell shop) are: